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