Next: Primitive types
Up: The Java type model
Previous: Numeric types
Boolean operations include the normal logical operators and also
conditional versions of disjunction and conjunction.
disjOp, conjOp, candOp, corOp(boolType,boolType): boolType;
This macro is defined in definitions 5, 6, 7, and 8.
This macro is invoked in definition 4.