Num
Aux
NumBool
Aux
NumDouble
Aux
NumFrac
Aux
NumInt
Aux
negate
DoubleTop
IntTop
LongTop
Num
SeqLikeNum
neq
Eq
ScalarEqImpl
SeqLikeEq
not
BooleanSeqTop
BooleanTop
NumBool