package coq-serapi
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_tacred
Source
Source
type evaluable_global_reference = Tacred.evaluable_global_reference =
| EvalVarRef of Names.Id.t
| EvalConstRef of Names.Constant.t
Source
val evaluable_global_reference_of_yojson :
Yojson.Safe.t ->
evaluable_global_reference Ppx_deriving_yojson_runtime.error_or
Source
val hash_fold_evaluable_global_reference :
Ppx_hash_lib.Std.Hash.state ->
evaluable_global_reference ->
Ppx_hash_lib.Std.Hash.state
Source
val hash_evaluable_global_reference :
evaluable_global_reference ->
Ppx_hash_lib.Std.Hash.hash_value
Source
val compare_evaluable_global_reference :
evaluable_global_reference ->
evaluable_global_reference ->
int
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>