module type S = sig .. end
sig
end
Signature of formulas that parametrises the Mcsat Solver Module.
type proof
An abstract type for proofs
module Term: sig .. end
module Formula: sig .. end