Module Induction_intf.S.Meta

module Meta: sig .. end

val t : Ind_ty.t Plugin.t

Plugin that encodes the fact that a type is inductive, together with the list of its constructor symbols. Example: nat, [succ; zero]