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.1.tbz
sha256=f1070e6fa36ecf042319a14f621f26a331075f3777dfb85a0afbac6e3323e9d4
sha512=efbd947aa6750672f089b7b8604c798033793510eea1c45f4265df5f548b2ecdd3e69d5cb49b0714c09de1012fe358f618c9b1f4610a33339a151b4fdac42321

doc/serlib_ssr/Serlib_ssr/Ser_ssrequality/index.html

Module Serlib_ssr.Ser_ssrequalitySource

Sourcemodule Ssrmatching_plugin : sig ... end
Sourcemodule Ssreflect_plugin : sig ... end
Sourcetype ssrwkind = Ssreflect_plugin.Ssrequality.ssrwkind =
  1. | RWred of Ssreflect_plugin.Ssrast.ssrsimpl
  2. | RWdef
  3. | RWeq
Sourceval ssrwkind_of_sexp : Sexplib0.Sexp.t -> ssrwkind
Sourceval sexp_of_ssrwkind : ssrwkind -> Sexplib0.Sexp.t
Sourceval hash_fold_ssrwkind : Ppx_hash_lib.Std.Hash.state -> ssrwkind -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_ssrwkind : ssrwkind -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_ssrwkind : ssrwkind -> ssrwkind -> int
Sourceval ssrrule_of_sexp : Sexplib0.Sexp.t -> ssrrule
Sourceval sexp_of_ssrrule : ssrrule -> Sexplib0.Sexp.t
Sourceval hash_fold_ssrrule : Ppx_hash_lib.Std.Hash.state -> ssrrule -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_ssrrule : ssrrule -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_ssrrule : ssrrule -> ssrrule -> int
Sourceval ssrrwarg_of_sexp : Sexplib0.Sexp.t -> ssrrwarg
Sourceval sexp_of_ssrrwarg : ssrrwarg -> Sexplib0.Sexp.t
Sourceval hash_fold_ssrrwarg : Ppx_hash_lib.Std.Hash.state -> ssrrwarg -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_ssrrwarg : ssrrwarg -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_ssrrwarg : ssrrwarg -> ssrrwarg -> int