Module `Serlib.Ser_goptions`Source

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

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

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

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

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 sexp_of_option_value : option_value -> Sexplib0.Sexp.t

Sourceval option_value_of_sexp : Sexplib0.Sexp.t -> option_value

Sourceval 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

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

Sourceval compare_option_value : option_value -> option_value -> int

Sourcetype option_state = Goptions.option_state

Sourceval sexp_of_option_state : option_state -> Sexplib0.Sexp.t

Sourceval option_state_of_sexp : Sexplib0.Sexp.t -> option_state

Sourceval 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

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

Sourceval compare_option_state : option_state -> option_state -> int

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

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

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

Sourceval compare_table_value : table_value -> table_value -> int

package coq-serapi