+
ConditionalTypeMap
ConditionalVarEnv
++
ConditionalTypeMap
ConditionalVarEnv
<
AType
CBasicType
CChar
CInt
CInt128
CLong
CLongLong
CShort
CSignUnspecified
CSigned
CType
CUnsigned