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.2.tbz
sha256=0fcf20002a6856b6d2485dcb55d388558dd771a8dcb99f5c614b8f5519f90801
sha512=45fa6873a65160624952de89d51ab3c44522c3485e945974e5fe97bc3c5214fa7955cd993f69bc1b87b3cfce77fde81b39ec9a43263ab4a14513a13b7c6ded92

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.