module Tseitin_intf: sig .. end
sig
end
Interfaces for Tseitin's CNF conversion
module type Arg = sig .. end
module type S = sig .. end