sig
val update_section : Rc.t -> string -> (Rc.section -> Rc.section) -> Rc.t
val set_prover_editor :
Whyconf.config -> Whyconf.Mprover.key -> string -> Whyconf.config
val set_default_editor : Whyconf.config -> string -> Whyconf.config
val set_limits :
time:float -> mem:int -> j:int -> Whyconf.config -> Whyconf.config
val set_prover_upgrade_policy :
Whyconf.config ->
Whyconf.Mprover.key -> Whyconf.prover_upgrade_policy -> Whyconf.config
val remove_user_policy :
Whyconf.config -> Whyconf.Mprover.key -> Whyconf.config
val get_section : Whyconf.config -> string -> Rc.section option
val get_simple_family : Whyconf.config -> string -> Rc.section list
val get_family : Whyconf.config -> string -> Rc.family
val set_section : Whyconf.config -> string -> Rc.section -> Whyconf.config
val set_simple_family :
Whyconf.config -> string -> Rc.section list -> Whyconf.config
val set_family : Whyconf.config -> string -> Rc.family -> Whyconf.config
end