Module Libzipperposition_calculi.Ind_types
Deal with Inductive Types
module Make : functor (E : Libzipperposition.Env_intf.S) -> sig ... endval extension : Libzipperposition.Extensions.t
Libzipperposition_calculi.Ind_typesmodule Make : functor (E : Libzipperposition.Env_intf.S) -> sig ... endval extension : Libzipperposition.Extensions.t