Module Libzipperposition_calculi.Ind_types

Deal with Inductive Types

module Make : functor (E : Libzipperposition.Env_intf.S) -> sig ... end
val extension : Libzipperposition.Extensions.t