Module `Libzipperposition_calculi`

module Arith_int : sig ... end

module Arith_rat : sig ... end

module Avatar : sig ... end

module Avatar_intf : sig ... end

module EnumTypes : sig ... end

module Fool : sig ... end

module Heuristics : sig ... end

module Higher_order : sig ... end

module Ind_types : sig ... end

module Induction : sig ... end

module Induction_intf : sig ... end

module Rewriting : sig ... end

module Simplex : sig ... end

module Superposition : sig ... end

module Superposition_intf : sig ... end