Module DeclareInd.Internal

For legacy support, do not use
type inductive_obj