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_ltac2/Serlib_ltac2/Ser_tac2env/WLV2/index.html

Module Ser_tac2env.WLV2Source

Sourceval raw_of_sexp : Sexplib0.Sexp.t -> raw
Sourceval sexp_of_raw : raw -> Sexplib0.Sexp.t
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
Sourcetype glb = unit
Sourceval glb_of_sexp : Sexplib0.Sexp.t -> glb
Sourceval sexp_of_glb : glb -> Sexplib0.Sexp.t
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 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