module App_encode : sig ... end
module Bce : sig ... end
module Bce_pe_fixpoint : sig ... end
module Bool_encode : sig ... end
module Booleans : sig ... end
module EnumTypes : sig ... end
module Eq_encode : sig ... end
module Fool : sig ... end
module Heuristics : sig ... end
module Higher_order : sig ... end
module Hlt_elim : sig ... end
module Ind_types : sig ... end
module Lazy_cnf : sig ... end
module Pred_elim : sig ... end
module Pure_literal_elim : sig ... end
module Rewriting : sig ... end
module Superposition : sig ... end
module Superposition_intf : sig ... end