boolean type

Boolean operations include the normal logical operators and also conditional versions of disjunction and conjunction.

Primitive types[7]:

OPER
  invOp(boolType): boolType;
  disjOp, conjOp, candOp, corOp(boolType,boolType): boolType;

INDICATION
  bangInd:   invOp;
  barbarInd: corOp;
  ampampInd: candOp;

This macro is defined in definitions 5, 6, 7, and 8.
This macro is invoked in definition 4.