unapply
CalcLit
CalcNLit
Boolean
Char
Double
Float
Int
Long
String
NonLiteralCalc
SingletonSymbolType
TypeCalc
NatCalc
OpCalc
OpCastCalc
TwoFaceCalc
unapplyArg
TwoFaceCalc
unary_!
Boolean
unary_-
Char
Double
Float
Int
Long
unknownTF2Num
Boolean
Char
Double
Float
Int
Long
String
unrefine
SingletonSymbolType
unsafeCheck
Checked0ParamAny
Checked1ParamAny
CheckedShell1
CheckedShell2
unsafeTF2Num
Boolean
Char
Double
Float
Int
Long
String
usingFuncName
MaterializeOpAuxGen