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.19.0.0.19.0.tbz
sha256=28792fdef7dbcc8a21a3eee1a85d6c433eccde6a85c47d73c8f808c02aa232fd
sha512=b5f8142df58f10639e2aa77209496e5906f5ce69f7bd93a65c9519d539a5546015e4760e0e980c277ab2d908c8cc77eb0d46ae7c1a9ca1fbca985b4c825b891f

doc/serlib_firstorder/Serlib_firstorder/Ser_g_ground/index.html

Module Serlib_firstorder.Ser_g_groundSource

module Loc = Serlib.Ser_loc
module Names = Serlib.Ser_names
module Libnames = Serlib.Ser_libnames
module 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