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.15.0.0.15.3.tbz
sha256=8eb6117bccd54843b5553562f8925f8dc24f502e323479b4eb6e7e28265c8fda
sha512=049e071e43eaa418b37cbc6222fb9244ce50f136084cbfd96ee0c545f1d031f57dc72a2de8a6da08225194bc851ec1c51eaf5d1f1299b5003d78f4a4ef5ea4d9

doc/serlib_ssrmatching/Serlib_ssrmatching/Ser_ssrmatching/B_/index.html

Module Ser_ssrmatching.B_Source

val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val hash_fold_t : t Base__Ppx_hash_lib.hash_fold
val hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value
val compare : t Base__Ppx_compare_lib.compare