Node:CHR Operator Declarations, Next:CHR Exceptions, Previous:CHR Compiler-generated Predicates, Up:CHR Library
This table lists the operators as used by the CHR library:
:- op(1200, xfx, @).
:- op(1190, xfx, pragma).
:- op(1180, xfx, [==>,<=>]).
:- op(1180, fy, chr_spy).
:- op(1180, fy, chr_nospy).
:- op(1150, fx, handler).
:- op(1150, fx, constraints).
:- op(1150, fx, rules).
:- op(1100, xfx, '|').
:- op(1100, xfx, \ ).
:- op(1050, xfx, &).
:- op( 500, yfx, #).