package coq-serapi

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

Module Sertop.Sertop_serSource

Sourcetype ser_printer =
  1. | SP_Sertop
  2. | SP_Mach
  3. | SP_Human
Sourceval select_printer : ser_printer -> Format.formatter -> Sexplib.Sexp.t -> unit
Sourceval coq_object_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.coq_object
Sourceval sexp_of_coq_object : Serapi.Serapi_protocol.coq_object -> Sexplib.Sexp.t
Sourceval print_format_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.print_format
Sourceval sexp_of_print_format : Serapi.Serapi_protocol.print_format -> Sexplib.Sexp.t
Sourceval print_opt_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.print_opt
Sourceval sexp_of_print_opt : Serapi.Serapi_protocol.print_opt -> Sexplib.Sexp.t
Sourceval sexp_of_answer_kind : Serapi.Serapi_protocol.answer_kind -> Sexplib.Sexp.t
Sourceval answer_kind_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.answer_kind
Sourceval query_pred_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.query_pred
Sourceval sexp_of_query_pred : Serapi.Serapi_protocol.query_pred -> Sexplib.Sexp.t
Sourceval query_opt_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.query_opt
Sourceval sexp_of_query_opt : Serapi.Serapi_protocol.query_opt -> Sexplib.Sexp.t
Sourceval query_cmd_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.query_cmd
Sourceval sexp_of_query_cmd : Serapi.Serapi_protocol.query_cmd -> Sexplib.Sexp.t
Sourceval cmd_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.cmd
Sourceval sexp_of_cmd : Serapi.Serapi_protocol.cmd -> Sexplib.Sexp.t
Sourceval tagged_cmd_of_sexp : Sexplib.Sexp.t -> tagged_cmd
Sourceval sexp_of_tagged_cmd : tagged_cmd -> Sexplib.Sexp.t
Sourceval sexp_of_answer : Serapi.Serapi_protocol.answer -> Sexplib.Sexp.t
Sourceval answer_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.answer
Sourcetype sentence =
  1. | Sentence of Tok.t CAst.t list
Sourceval sexp_of_sentence : sentence -> Sexplib.Sexp.t
Sourceval sentence_of_sexp : Sexplib.Sexp.t -> sentence
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