Cross Reference: /hets/HasCASL/test/Supertype.hascasl
Cross Reference: Supertype.hascasl
xref
: /
hets
/
HasCASL
/
test
/
Supertype.hascasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
1
2
3
4
5
6
7
8
type b, c
type a < b * b ->? c
op a : a; b : b; c : c;
. a (b, b) = c