coq-serapi 8.20.0+0.20.0 · OCaml Package

type option_locality = Goptions.option_locality

val sexp_of_option_locality : option_locality -> Sexplib0.Sexp.t

val option_locality_of_sexp : Sexplib0.Sexp.t -> option_locality

val option_locality_to_yojson : option_locality -> Yojson.Safe.t

val option_locality_of_yojson : 
  Yojson.Safe.t ->
  option_locality Ppx_deriving_yojson_runtime.error_or

val hash_fold_option_locality : 
  Ppx_hash_lib.Std.Hash.state ->
  option_locality ->
  Ppx_hash_lib.Std.Hash.state

val hash_option_locality : option_locality -> Ppx_hash_lib.Std.Hash.hash_value

val compare_option_locality : option_locality -> option_locality -> int

type option_name = Goptions.option_name

val sexp_of_option_name : option_name -> Sexplib0.Sexp.t

val option_name_of_sexp : Sexplib0.Sexp.t -> option_name

val option_name_to_yojson : option_name -> Yojson.Safe.t

val option_name_of_yojson : 
  Yojson.Safe.t ->
  option_name Ppx_deriving_yojson_runtime.error_or

val hash_fold_option_name : 
  Ppx_hash_lib.Std.Hash.state ->
  option_name ->
  Ppx_hash_lib.Std.Hash.state

val hash_option_name : option_name -> Ppx_hash_lib.Std.Hash.hash_value

val compare_option_name : option_name -> option_name -> int

type option_value = Goptions.option_value

val sexp_of_option_value : option_value -> Sexplib0.Sexp.t

val option_value_of_sexp : Sexplib0.Sexp.t -> option_value

val option_value_to_yojson : option_value -> Yojson.Safe.t

val option_value_of_yojson : 
  Yojson.Safe.t ->
  option_value Ppx_deriving_yojson_runtime.error_or

val hash_fold_option_value : 
  Ppx_hash_lib.Std.Hash.state ->
  option_value ->
  Ppx_hash_lib.Std.Hash.state

val hash_option_value : option_value -> Ppx_hash_lib.Std.Hash.hash_value

val compare_option_value : option_value -> option_value -> int

type option_state = Goptions.option_state

val sexp_of_option_state : option_state -> Sexplib0.Sexp.t

val option_state_of_sexp : Sexplib0.Sexp.t -> option_state

val option_state_to_yojson : option_state -> Yojson.Safe.t

val option_state_of_yojson : 
  Yojson.Safe.t ->
  option_state Ppx_deriving_yojson_runtime.error_or

val hash_fold_option_state : 
  Ppx_hash_lib.Std.Hash.state ->
  option_state ->
  Ppx_hash_lib.Std.Hash.state

val hash_option_state : option_state -> Ppx_hash_lib.Std.Hash.hash_value

val compare_option_state : option_state -> option_state -> int

type table_value = Goptions.table_value

val sexp_of_table_value : table_value -> Sexplib0.Sexp.t

val table_value_of_sexp : Sexplib0.Sexp.t -> table_value

val table_value_to_yojson : table_value -> Yojson.Safe.t

val table_value_of_yojson : 
  Yojson.Safe.t ->
  table_value Ppx_deriving_yojson_runtime.error_or

val hash_fold_table_value : 
  Ppx_hash_lib.Std.Hash.state ->
  table_value ->
  Ppx_hash_lib.Std.Hash.state

val hash_table_value : table_value -> Ppx_hash_lib.Std.Hash.hash_value

val compare_table_value : table_value -> table_value -> int

package coq-serapi