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.1.tbz
sha256=10d90417815073507a53dbc5cca1cf504afa58104da8557e2afa2e7daf6ec852
sha512=95006e1e2798c531a01656972990662b07db815534bc789a5f3351c7d5bc8e75156c5a3c3b3a18d37f3eab0b11ceabd17d1609ed4d8afb461698b4098106e028

doc/coq-serapi.serlib/Serlib/Ser_safe_typing/index.html

Module Serlib.Ser_safe_typingSource

Sourcetype private_constants = Safe_typing.private_constants
Sourceval sexp_of_private_constants : private_constants -> Sexplib0.Sexp.t
Sourceval private_constants_of_sexp : Sexplib0.Sexp.t -> private_constants
Sourceval private_constants_to_yojson : private_constants -> Yojson.Safe.t
Sourceval hash_fold_private_constants : Ppx_hash_lib.Std.Hash.state -> private_constants -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_private_constants : private_constants -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_private_constants : private_constants -> private_constants -> int
Sourcetype global_declaration = Safe_typing.global_declaration
Sourceval global_declaration_of_sexp : Sexplib.Sexp.t -> global_declaration
Sourceval sexp_of_global_declaration : global_declaration -> Sexplib.Sexp.t