Mc2_core__.Tseitin_intf
module type Arg = sig ... end
Atomic formulas.
module type S = sig ... end
CNF conversion