package coq-serapi

  1. Overview
  2. Docs
Serialization library and protocol for machine interaction with the Coq proof assistant

Install

Dune Dependency

Authors

Maintainers

Sources

coq-serapi-8.17.0.0.17.0.tbz
sha256=fe717f2aa1394434ca3cd9f02a4227e512fb2517c01d4f2726d71f4e3a18756d
sha512=c070d3ebb7f76df7929b04ddb68d4d28751e8991fdb870f56a64168389ff217e75e118317dc8069a8acf98ac88c523d2211fd91fdc777f916d3184b56d235a7c

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

Module Serlib.Ser_tacredSource

Sourcemodule Names = Ser_names
Sourcetype evaluable_global_reference = Tacred.evaluable_global_reference =
  1. | EvalVarRef of Names.Id.t
  2. | EvalConstRef of Names.Constant.t
Sourceval evaluable_global_reference_of_sexp : Sexplib0.Sexp.t -> evaluable_global_reference
Sourceval sexp_of_evaluable_global_reference : evaluable_global_reference -> Sexplib0.Sexp.t
Sourceval evaluable_global_reference_to_yojson : evaluable_global_reference -> Yojson.Safe.t
Sourceval hash_fold_evaluable_global_reference : Ppx_hash_lib.Std.Hash.state -> evaluable_global_reference -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_evaluable_global_reference : evaluable_global_reference -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_evaluable_global_reference : evaluable_global_reference -> evaluable_global_reference -> int
OCaml

Innovation. Community. Security.