package coq-serapi

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

Install

Dune Dependency

Authors

Maintainers

Sources

coq-serapi-8.16.0.0.16.2.tbz
sha256=f891507f58fba3ba29889dd07fbe69af3411d246488ae7595cd81d26c8422f14
sha512=224dfda8fae1ead7a5ae2a8ead527834bb5216b1788485a0c19deade3b0dd86767c19056931294a7973f132680e282c4491c76ef38638c0c566a029379f484e2

doc/serlib_ssr/Serlib_ssr/Ser_ssrparser/A4/index.html

Module Ser_ssrparser.A4Source

Sourceval raw_of_sexp : Sexplib0.Sexp.t -> raw
Sourceval sexp_of_raw : raw -> Sexplib0.Sexp.t
Sourceval raw_to_yojson : raw -> Yojson.Safe.t
Sourceval raw_of_yojson : Yojson.Safe.t -> raw Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_raw : Ppx_hash_lib.Std.Hash.state -> raw -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_raw : raw -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_raw : raw -> raw -> int
Sourceval glb_of_sexp : Sexplib0.Sexp.t -> glb
Sourceval sexp_of_glb : glb -> Sexplib0.Sexp.t
Sourceval glb_to_yojson : glb -> Yojson.Safe.t
Sourceval glb_of_yojson : Yojson.Safe.t -> glb Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_glb : Ppx_hash_lib.Std.Hash.state -> glb -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_glb : glb -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_glb : glb -> glb -> int
Sourceval top_of_sexp : Sexplib0.Sexp.t -> top
Sourceval sexp_of_top : top -> Sexplib0.Sexp.t
Sourceval top_to_yojson : top -> Yojson.Safe.t
Sourceval top_of_yojson : Yojson.Safe.t -> top Ppx_deriving_yojson_runtime.error_or
Sourceval _ : Yojson.Safe.t -> top Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_top : Ppx_hash_lib.Std.Hash.state -> top -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_top : top -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_top : top -> top -> int
OCaml

Innovation. Community. Security.