ExtensionMethodsPhaseName

Minibox

env

MiniboxSubst

equivalentMemberInSpecializedClass

MiniboxTreeTransformer

extractFunctionQualifierType

MiniboxTreeTransformer

extractNormSpec

MiniboxTreeTransformer

extractPSpec

SpecializeTypeMap

extractQualifierType

MiniboxTreeTransformer

extractRepresentation

MiniboxTreeTransformer

extractSpec

MiniboxTreeTransformer