Constructors
The type has the following constructors:
The constructor taking a value v of
type float
results in a value false iff
v = 0.0 and
a value true otherwise.
The constructor taking a value v of
type integer
results in a value false iff
v = 0 and
a value true otherwise.
The boolean type is a
scalar type. As with the other
scalar types, the
type rule for the construction of values of type
boolean is: