Up
–
coq-core
»
DeclareInd
» Internal
Module
DeclareInd.Internal
For legacy support, do not use
type
inductive_obj
val
objInductive :
inductive_obj
Libobject.Dyn.tag