Cross Reference: AsPattern.hascasl
xref: /hets/HasCASL/test/AsPattern.hascasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
18e746b0dd4d634fdd67fb16fd5be2f25d874f4eChristian Maedertype a;
18e746b0dd4d634fdd67fb16fd5be2f25d874f4eChristian Maeder
18e746b0dd4d634fdd67fb16fd5be2f25d874f4eChristian Maederop f : a -> a
18e746b0dd4d634fdd67fb16fd5be2f25d874f4eChristian Maeder
18e746b0dd4d634fdd67fb16fd5be2f25d874f4eChristian Maederprogram f (v@_:a) = v

Indexes created Tue Jul 24 14:28:13 CEST 2018