Up – coq » DeclareInd » Internal

Module `DeclareInd.Internal`

For legacy support, do not use

type inductive_obj

val objInductive : inductive_obj Libobject.Dyn.tag