Prev | Top | Next |
$oc: OperatorOrder( $code: code, $opId: opId ) not Operator( id == $opId )
English
When there is an operator order but no matching operator...
[when]There is an (?i:operator order)= $order: OperatorOrder( $code: code, $opId: opId ) [when]but no matching operator= not Operator( id == $opId )
Prev | Top | Next |