Operator Declarations

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, #).