Module Msat_tseitin__.Tseitin_intf

module type Arg = sig ... end
module type S = sig ... end