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