Documentation current_op/3
Related predicates
available from version beta

current_op/3

Check properties of operator.

Description

current_op( ?integer, ?operator_specifier, ?atom )

current_op(Priority, Op_specifier, Operator) is true if and only if Operator is an operator whose properties are specified by Op_specifier and Priority

Implementation