ReprAnnotationChecker
ReprAnnotationCheckers
ReprAnnotationCheckers
coerce
Result
TreeRewriter
RichSym
ildlAddons
RichTree
ildlAddons
RichType
ildlAddons
Rigid
ildlDefinitions
reprClass
ildlDefinitions
reprToHighName
ildlDefinitions
reprTpeName
ildlDefinitions
rewrite
TreeRewriter
BridgeTransformer
InjectTransformer
PostParserTransformer
TweakErasureTransformer