1signature satConfig = 2sig 3 include Abbrev 4 5type sat_config 6 7val base_config : sat_config 8 9val get_term : sat_config -> Term.term 10val get_solver : sat_config -> SatSolvers.sat_solver 11val get_infile : sat_config -> string option 12val get_proof : sat_config -> string option 13val get_flag_is_cnf : sat_config -> bool 14val get_flag_is_proved : sat_config -> bool 15 16val set_term : Term.term -> sat_config -> sat_config 17val set_solver : SatSolvers.sat_solver -> sat_config -> sat_config 18val set_infile : string -> sat_config -> sat_config 19val set_proof : string -> sat_config -> sat_config 20val set_flag_is_cnf : bool -> sat_config -> sat_config 21val set_flag_is_proved : bool -> sat_config -> sat_config 22 23val dest_config : sat_config -> 24 (Term.term * SatSolvers.sat_solver * string option * 25 string option * bool * bool) 26 27end 28