Module DeclareInd.Internal

For legacy support, do not use
type inductive_obj
val objInductive : inductive_obj Libobject.Dyn.tag