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.19.0.0.19.2.tbz
sha256=2106a7f8bc1b38a2a0da6f9425aa21a57c508771da75c59c0b08481e9ec9a083
sha512=a09a6d6f37724bf5aa0166e7064e703a8e8d4d939a474353b515bb55b764b988a18a5979a0eba97d9bbc12d89502aeec0788f35c5c8e6917845046e90737b5fc

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.