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