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.18.0.0.18.3.tbz
sha256=d9a32c0033d720032011e9bf5e8d30d4b205ce276b6a81ab359fc461809e9b63
sha512=742d2b92b986e45044c19cd2bbfd5dd5346cfb4b0ec20f40811d8b0096c6e25192528359f98d2eed2a74ae67790d1f8cea382cb01fd7cf8903a5a917cca79a84

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

Module Serlib.Ser_goptionsSource

Sourcetype option_locality = Goptions.option_locality
Sourceval sexp_of_option_locality : option_locality -> Sexplib0.Sexp.t
Sourceval option_locality_of_sexp : Sexplib0.Sexp.t -> option_locality
Sourceval option_locality_to_yojson : option_locality -> Yojson.Safe.t
Sourceval hash_fold_option_locality : Ppx_hash_lib.Std.Hash.state -> option_locality -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_option_locality : option_locality -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_option_locality : option_locality -> option_locality -> int
Sourcetype option_name = Goptions.option_name
Sourceval sexp_of_option_name : option_name -> Sexplib0.Sexp.t
Sourceval option_name_of_sexp : Sexplib0.Sexp.t -> option_name
Sourceval option_name_to_yojson : option_name -> Yojson.Safe.t
Sourceval hash_fold_option_name : Ppx_hash_lib.Std.Hash.state -> option_name -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_option_name : option_name -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_option_name : option_name -> option_name -> int
Sourcetype option_value = Goptions.option_value
Sourceval option_value_of_sexp : Sexplib.Sexp.t -> option_value
Sourceval sexp_of_option_value : option_value -> Sexplib.Sexp.t
Sourceval option_value_of_yojson : Yojson.Safe.t -> (option_value, string) Result.result
Sourceval option_value_to_yojson : option_value -> Yojson.Safe.t
Sourcetype option_state = Goptions.option_state
Sourceval option_state_of_sexp : Sexplib.Sexp.t -> option_state
Sourceval sexp_of_option_state : option_state -> Sexplib.Sexp.t
Sourcetype table_value = Goptions.table_value
Sourceval sexp_of_table_value : table_value -> Sexplib0.Sexp.t
Sourceval table_value_of_sexp : Sexplib0.Sexp.t -> table_value
Sourceval table_value_to_yojson : table_value -> Yojson.Safe.t
Sourceval hash_fold_table_value : Ppx_hash_lib.Std.Hash.state -> table_value -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_table_value : table_value -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_table_value : table_value -> table_value -> int
OCaml

Innovation. Community. Security.