Module Tseitin_intf

module Tseitin_intf: sig .. end

module type Arg = sig .. end

module type S = sig .. end