package coq-serapi

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

Install 

dune-project
 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.16.0.0.16.2.tbz
sha256=f891507f58fba3ba29889dd07fbe69af3411d246488ae7595cd81d26c8422f14
sha512=224dfda8fae1ead7a5ae2a8ead527834bb5216b1788485a0c19deade3b0dd86767c19056931294a7973f132680e282c4491c76ef38638c0c566a029379f484e2

doc/serlib_firstorder/Serlib_firstorder/Ser_g_ground/index.html

Module Serlib_firstorder.Ser_g_groundSource

Sourcemodule Names = Serlib.Ser_names
Sourcemodule Libnames = Serlib.Ser_libnames
Sourcemodule Locus = Serlib.Ser_locus
Sourcetype h1 = Libnames.qualid list
Sourceval h1_of_sexp : Sexplib0.Sexp.t -> h1
Sourceval sexp_of_h1 : h1 -> Sexplib0.Sexp.t
Sourceval hash_fold_h1 : Ppx_hash_lib.Std.Hash.state -> h1 -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_h1 : h1 -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_h1 : h1 -> h1 -> int
Sourceval h2_of_sexp : Sexplib0.Sexp.t -> h2
Sourceval sexp_of_h2 : h2 -> Sexplib0.Sexp.t
Sourceval hash_fold_h2 : Ppx_hash_lib.Std.Hash.state -> h2 -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_h2 : h2 -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_h2 : h2 -> h2 -> int
Sourcetype h3 = Names.GlobRef.t list
Sourceval h3_of_sexp : Sexplib0.Sexp.t -> h3
Sourceval sexp_of_h3 : h3 -> Sexplib0.Sexp.t
Sourceval hash_fold_h3 : Ppx_hash_lib.Std.Hash.state -> h3 -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_h3 : h3 -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_h3 : h3 -> h3 -> int
Sourceval register : unit -> unit