4.1.5.2 Manipulating and Inspecting Operators

To add or remove an operator, use op(Precedence, Type, Name). op/3 declares the atom Name to be an operator of the stated Type and Precedence. If Precedence is 0, the operator properties of Name (if any) are cancelled.

To examine the set of operators currently in force, use current_op(Precedence, Type, Name).


Send feedback on this subject.