Language.Symantic.Lib.Num

Class `Sym_Num`

class Sym_Num term

`Type`s

tyNum

`Term`s

teNum_fromInteger

teNum_abs

teNum_negate

teNum_signum

teNum_add

teNum_sub

teNum_mul