Module Msat_tseitin__

module Tseitin_intf : sig ... end