Class
LOGICAL-OPERATOR
Defined in theory:
Parametric-constraints
Source code:
parametric-constraints.lisp
Slots on this class:
All-Instances
:
{
'Not, 'And, 'Or, '=>, '<=, '<=>
}