coq 8.7.2 · OCaml Package

type option_name = string list

module MakeStringTable (A : sig ... end) : sig ... end

module MakeRefTable (A : sig ... end) : sig ... end

type !'a option_sig = {

optdepr : bool;
optname : string;
optkey : option_name;
optread : unit -> 'a;
optwrite : 'a -> unit;

}

type !'a write_function = 'a -> unit

val declare_int_option : 
  ?preprocess:(int option -> int option) ->
  int option option_sig ->
  int option write_function

val declare_bool_option : 
  ?preprocess:(bool -> bool) ->
  bool option_sig ->
  bool write_function

val declare_string_option : 
  ?preprocess:(string -> string) ->
  string option_sig ->
  string write_function

val declare_stringopt_option : 
  ?preprocess:(string option -> string option) ->
  string option option_sig ->
  string option write_function

module OptionMap : sig ... end

val get_string_table : 
  option_name ->
  < add : string -> unit
  ; mem : string -> unit
  ; print : unit
  ; remove : string -> unit >

val get_ref_table : 
  option_name ->
  < add : Libnames.reference -> unit
  ; mem : Libnames.reference -> unit
  ; print : unit
  ; remove : Libnames.reference -> unit >

val set_int_option_value_gen : bool option -> option_name -> int option -> unit

val set_bool_option_value_gen : bool option -> option_name -> bool -> unit

val set_string_option_value_gen : bool option -> option_name -> string -> unit

val set_string_option_append_value_gen : 
  bool option ->
  option_name ->
  string ->
  unit

val unset_option_value_gen : bool option -> option_name -> unit

val set_int_option_value : option_name -> int option -> unit

val set_bool_option_value : option_name -> bool -> unit

val set_string_option_value : option_name -> string -> unit

val print_option_value : option_name -> unit

type option_value =

| BoolValue of bool
| IntValue of int option
| StringValue of string
| StringOptValue of string option

type option_state = {

opt_depr : bool;
opt_name : string;
opt_value : option_value;

}

val get_tables : unit -> option_state OptionMap.t

val print_tables : unit -> Pp.std_ppcmds

val error_undeclared_key : option_name -> 'a

package coq