_Inductive
Inductive
inductively
Inductives
inductive_type
InductiveType
InductiveTypeHasConstructor
InductiveTypeIsEmpty
inductive_types
InductiveTypes
