NUMBER
Number is the generalization of all numeric types, which includes float, double, and the integer types (which can contain both integers and the signed integral infinities),
Properties
Link copied to clipboard
Link copied to clipboard
An array of A_Types, where the entries correspond to ordinals of other Types, and hold the intersection of that type and the current type.
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
A boolean array where the entries correspond to ordinals of other Types. They are true precisely when the type with that ordinal is a supertype of the current type.
Link copied to clipboard
An array of A_Types, where the entries correspond to ordinals of other Types, and hold the unions of that type and the current type.