module type Params = sig .. end
sig
end
val produce_assignments : bool
bool
val produce_cores : bool
val produce_proofs : bool
val logic : TermLib.logic
TermLib.logic
val id : int
int