package coq-serapi

  1. Overview
  2. Docs
Serialization library and protocol for machine interaction with the Coq proof assistant

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (38)

Authors

  1. E
    Emilio Jesús Gallego Arias
  2. K
    Karl Palmskog
  3. C
    Clément Pit-Claudel
  4. K
    Kaiyu Yang

Maintainers

  1. E
    e@x80.org

Sources

coq-serapi-8.20.0.0.20.0.tbz
sha256=ead9382f111ea385008fe9037513ff1f738dd90d8e989b8d1a0c9290963d9afe
sha512=b29103c2d1eb3cf8a33fa9ddf26b5a6c89e7277cd31256589bcae8a89c37a3de7a3c3e7fe5d376358e874d44dc6c60ab96736cbd1037511ab36705e9f40f0ade

doc/coq-serapi.sertop_v8_12/Sertop/Sertop_ser/index.html

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