FLOAT
The type of all single-precision floating point numbers. This includes the single precision positive and negative infinities and Not-a-Number.
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.