% module pair

% projections

first(pair(Q,E))=Q.
second(pair(Q,E))=E.


precedence([first,second,pair]).