package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Serlib.Ser_feedbackSource

Sourcetype doc_id = Feedback.doc_id
Sourceval doc_id_of_sexp : Sexplib.Sexp.t -> doc_id
Sourceval sexp_of_doc_id : doc_id -> Sexplib.Sexp.t
Sourceval doc_id_of_yojson : Yojson.Safe.t -> (doc_id, string) Result.result
Sourceval doc_id_to_yojson : doc_id -> Yojson.Safe.t
Sourcetype level = Feedback.level
Sourceval level_of_sexp : Sexplib.Sexp.t -> level
Sourceval sexp_of_level : level -> Sexplib.Sexp.t
Sourceval level_of_yojson : Yojson.Safe.t -> (level, string) Result.result
Sourceval level_to_yojson : level -> Yojson.Safe.t
Sourcetype route_id = Feedback.route_id
Sourceval route_id_of_sexp : Sexplib.Sexp.t -> route_id
Sourceval sexp_of_route_id : route_id -> Sexplib.Sexp.t
Sourceval route_id_of_yojson : Yojson.Safe.t -> (route_id, string) Result.result
Sourceval route_id_to_yojson : route_id -> Yojson.Safe.t
Sourcetype feedback_content = Feedback.feedback_content
Sourceval feedback_content_of_sexp : Sexplib.Sexp.t -> feedback_content
Sourceval sexp_of_feedback_content : feedback_content -> Sexplib.Sexp.t
Sourceval feedback_content_of_yojson : Yojson.Safe.t -> (feedback_content, string) Result.result
Sourceval feedback_content_to_yojson : feedback_content -> Yojson.Safe.t
Sourcetype feedback = Feedback.feedback
Sourceval feedback_of_sexp : Sexplib.Sexp.t -> feedback
Sourceval sexp_of_feedback : feedback -> Sexplib.Sexp.t
Sourceval feedback_of_yojson : Yojson.Safe.t -> (feedback, string) Result.result
Sourceval feedback_to_yojson : feedback -> Yojson.Safe.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct