Module DeclareInd.Internal

For legacy support, do not use
type inductive_obj
val objInductive : (Names.Id.t * inductive_obj) Libobject.Dyn.tag