DefinedInHeader

The name appears in a module header in either (1) the Names section, (2) as the right-hand side of a rename in the Uses section, or (3) as the right-hand side of a rename in the Extends section.