Module Whyconf.User

module User: sig .. end

val update_section : Why3.Rc.t -> string -> (Why3.Rc.section -> Why3.Rc.section) -> Why3.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 -> Why3.Rc.section option

get_section config name Same as Rc.get_section except name must not be "main"

val get_simple_family : Whyconf.config -> string -> Why3.Rc.section list

get_family config name Same as Rc.get_simple_family except name must not be prover

val get_family : Whyconf.config -> string -> Why3.Rc.family

get_family config name Same as Rc.get_family except name must not be prover

val set_section : Whyconf.config -> string -> Why3.Rc.section -> Whyconf.config

set_section config name Same as Rc.set_section except name must not be "main"

val set_simple_family : Whyconf.config -> string -> Why3.Rc.section list -> Whyconf.config

set_simple_family config name Same as Rc.set_simple_family except name must not be prover

val set_family : Whyconf.config -> string -> Why3.Rc.family -> Whyconf.config

set_family config name Same as Rc.set_family except name must not be prover