% Infix notation
:- op(840, xfy, =>).   % implies, right assoc
:- op(830, xfy, \/).   % or, right assoc
:- op(820, xfy, /\).   % and, right assoc
:- op(800,  fy, :).    % has-type, prefix
:- op(800,  fy, ?).    % variable, prefix

