getAllOperators

Extracts every op/3 directive out of this collection of Clauses, converting each to an Operator.

Shorthand for this Library's declared Library.operators, as a Sequence.

Shorthand for this Runtime's declared Runtime.operators, as a Sequence.

Collects every Operator declared by libraries and by op/3 directives within theories.