hasHighAnnot
RichType
hasReprAnnot
RichTree
RichType
helper
BridgeComponent
CoerceComponent
CommitComponent
InjectComponent
PostParserComponent
TweakErasureComponent
highToReprName
ildlDefinitions
highTpeName
ildlDefinitions