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.18.0.0.18.3.tbz
sha256=d9a32c0033d720032011e9bf5e8d30d4b205ce276b6a81ab359fc461809e9b63
sha512=742d2b92b986e45044c19cd2bbfd5dd5346cfb4b0ec20f40811d8b0096c6e25192528359f98d2eed2a74ae67790d1f8cea382cb01fd7cf8903a5a917cca79a84

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