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.1.tbz
sha256=09e2b3920d40eea3bed165d9ec67a3c87a9795918adbea0f9a87ee68d2014fa4
sha512=650b8e5d09aa42d4cb9f3c2dd09d9e4217bd325f5ac9b540783775e2a132556bbfa1f9c702eba83d6480ad3d8e429171d3bd4d01194b8243c80e8d55c0825bad
doc/coq-serapi.serlib/Serlib/Ser_goptions/index.html
Module Serlib.Ser_goptions
Source
Source
val option_locality_of_yojson :
Yojson.Safe.t ->
option_locality Ppx_deriving_yojson_runtime.error_or
Source
val hash_fold_option_locality :
Ppx_hash_lib.Std.Hash.state ->
option_locality ->
Ppx_hash_lib.Std.Hash.state
Source
val hash_fold_option_name :
Ppx_hash_lib.Std.Hash.state ->
option_name ->
Ppx_hash_lib.Std.Hash.state
Source
val hash_fold_table_value :
Ppx_hash_lib.Std.Hash.state ->
table_value ->
Ppx_hash_lib.Std.Hash.state
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>