Infix binary operators may be of either an intrinsic type (though not void), either an application defined opaque type. The operator type is the type to which the operator evaluates.
See Intrinsic Types.
See Application Defined Types.
The characters making up the infix binary operator names must belong to the
Operator definitions are introduced through the
struct x1f4_operator_type record.
See struct x1f4_operator_type.
Infix binary operators are overloadable, i.e. there may exist more infix binary operators with the same name, but not with the same name and argument types list.
Implicit type conversion are not performed for infix binary operator arguments. If it is desirable that a logic operator is defined for more data types pairs an operator for each of the intended data types pair must be defined.
See Implicit Conversions.