WithAlreadyTyped

TreeAdapter TreeAdapter

withDeepSubst

BodyDuplicator

withMbFunction

RichType

withStorage

MiniboxDefinitions RichType

withTypedAnnot

WithAlreadyTyped WithAlreadyTyped

withoutMbFunction

RichType

withoutStorage

RichType