AltErgoLib.Satml_types
module Atom : Satml_types_intf.ATOM
module Flat_Formula : Satml_types_intf.FLAT_FORMULA with module Atom = Atom