Cross Reference: /hets/HasCASL/test/AsPattern.hascasl
Cross Reference: AsPattern.hascasl
xref
: /
hets
/
HasCASL
/
test
/
AsPattern.hascasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
1
2
3
4
5
6
type a;
op f : a -> a
program f (v@_:a) = v