sig
  type cfg
  val make_cfg : unit -> Cfg.cfg
  val get_current_directory : Cfg.cfg -> string
  val set_current_directory : Cfg.cfg -> string -> unit
  val set_flag : Cfg.cfg -> string -> bool -> unit
  val set_parameter : Cfg.cfg -> string -> int -> unit
  val print_settings : Cfg.cfg -> unit
  val print_flags_doc : Cfg.cfg -> unit
  val print_parameters_doc : Cfg.cfg -> unit
  val get_echo_flag : Cfg.cfg -> bool
  val get_debug_flag : Cfg.cfg -> bool
  val get_back_subsumption_flag : Cfg.cfg -> bool
  val get_back_subsumption_within_news_flag : Cfg.cfg -> bool
  val get_sort_heads_flag : Cfg.cfg -> bool
  val get_check_disjunctions_are_ground_flag : Cfg.cfg -> bool
  val get_proof_terms_flag : Cfg.cfg -> bool
  val get_level_cut_flag : Cfg.cfg -> bool
  val get_negative_units_flag : Cfg.cfg -> bool
  val get_merge_inf_input_flag : Cfg.cfg -> bool
  val get_wp_semantics_flag : Cfg.cfg -> bool
  val get_show_derived_literals_flag : Cfg.cfg -> bool
  val get_max_weight_initial_param : Cfg.cfg -> int
  val get_max_weight_increment_param : Cfg.cfg -> int
  val get_body_sorting_method_param : Cfg.cfg -> int
  val get_weighing_method_param : Cfg.cfg -> int
  type verbosity = int
  val get_verbosity : unit -> Cfg.verbosity
  val set_verbosity : Cfg.verbosity -> unit
  val get_msg_output : unit -> Pervasives.out_channel
  val set_msg_output : string -> unit
end