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