module aux_semantic_rels.

import mini_cecil_abstract_syntax.

% auxilliary semantic relations
type	ap	operator -> int -> int
			 -> int -> o.

(ap add N1 N2 Ans) :- Ans is N1 + N2.
(ap sub N1 N2 Ans) :- Ans is N1 - N2.
(ap mult N1 N2 Ans) :- Ans is N1 * N2.
(ap divide N1 N2 Ans) :- Ans is N1 div N2.