:- use_module(library('hlc/hlconc_rt')).

:- op(950, yf,  [(&&), (&), (<&&), (<&)]).
:- op(950, yfx, [(&>), (&&>)]).







