Cross Reference: XOver1.casl
xref
: /
hets
/
CASL
/
test
/
XOver1.casl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
sorts t1, t2, t3
sort t4, t3 < u2
sort t4, t2 < u1
op a:t4; a: t2; a: t3
. def a