Hint.Type
type
DeclHint
type
ModuHint
type
CrossHint
data
Hint