MathIntTy

modulo

bitwise operation (&)

intersection type

multiplcation

exponentiation

addition

subtraction

prune type

shift left

partial order

shift right

unsigned shift right

bitwise operation (^)

This returns an canonical form of the mathematical type. 1) If the type is a set of integers, this must return MathIntTy. 2) Else if the gamma(type) is finite, then this must return MathSetTy. 3) Otherwise, this must return MathSignTy.

inclusion check

get single value

bottom check

integral check

negative check

negative integral check

non-negative check

non-negative integral check

non-positive check

non-positive integral check

positive check

positive integral check

top check

max operation

min operation

prune operator

to list of atomic math types

This returns a sign type of the mathematical type. May not return a canonical form.

Returns a string representation of the object.

The default representation is platform dependent.

bitwise operation (|)

union type