samer@0: 
samer@0: :- module(ops,[
samer@0: 		op(550,xfx,..)		% range of integers
samer@0: 	,	op(550,xfx,--)		% closed real interval
samer@0: 	,	op(600,xfx,--\)	% half open real interval
samer@0: 	,	op(1100,xfx,:<:)	% subtype declaration
samer@0: 	,	op(1100,xfx,::=)	% definition
samer@0: 	,	op(1100,xfx,:=:)	% type equivalence/definition
samer@0: 	,	op(1100,xfx,::)	% declaration
samer@0: 	,	op(1100,xfx,<-)	% element of, instance etc.
samer@0: 	%,	op(1050,yfx,¬)		% restriction, eg real¬integer means fractional
samer@0: 	,	op(750,xfy,\\)		% lambda abdstraction
samer@0: 	,	op(400,xfy,\) 		% reverse matrix division
samer@0: 	,	op(800,xfx,~)		% for annotations
samer@0: 	,	op(900,fy,struct)
samer@0: 	,	op(900,fy,options)
samer@0: 	,	op(100,yfx,@)		% used for signal@rate...
samer@0: 	,	op(200,yfx,++)		% used for sequential composition
samer@0: 	,	op(700,xfx,in)
samer@0: 	,	op(150,yfx,`)     % function application
samer@0: 	,	op(100,yfx,/)	
samer@0: 	%,	op(400,xfy,>>)	% monad sequencing NB: standard prolog has yfx not xfy
samer@0: 	%,	op(400,xfy,>>=)	% monad bind
samer@0: 	,	op(1050,xfy,>>)	% monad sequencing NB: standard prolog has yfx not xfy
samer@0: 	,	op(1050,xfy,>>=)	% monad bind
samer@0: 	,	op(100,fx,'<?>')
samer@0: 	,	op(800,xfx,'</>')	
samer@0: 	,	op(100,fx,?)
samer@0: 	]).
samer@0: 
samer@0: /** <module> - Operator declarations
samer@0: 
samer@0: This module consists entirely of operator declarations, as follows:
samer@0: ==
samer@0: op(550,xfx,..).
samer@0: op(550,xfx,--).
samer@0: op(600,xfx,--\).
samer@0: op(1100,xfx,:<:).
samer@0: op(1100,xfx,::=).
samer@0: op(1100,xfx,:=:).
samer@0: op(1100,xfx,::).
samer@0: op(1100,xfx,<-).
samer@0: op(750,xfy,\\).
samer@0: op(400,xfy,\).
samer@0: op(800,xfx,~).
samer@0: op(900,fy,maybe).
samer@0: op(900,fy,struct).
samer@0: op(900,fy,options).
samer@0: op(100,yfx,@).
samer@0: op(200,yfx,++).
samer@0: op(700,xfx,in).
samer@0: op(150,yfx,`).
samer@0: op(100,yfx,/).
samer@0: op(1050,xfy,>>).
samer@0: op(1050,xfy,>>=).
samer@0: op(100,fx,'<?>').
samer@0: op(800,xfx,'</>').
samer@0: op(100,fx,?).
samer@0: ==
samer@0: 
samer@0: @author Samer Abdallah
samer@0: */