AsPattern.hascasl.output revision 6cb518d88084543c13aa7e56db767c14ee97ab77
086c2ae737a3542e382be220c7cef3469ffb8d22Christian Maederprogram f (v @ (var _ : _v1_) : a) = v;
086c2ae737a3542e382be220c7cef3469ffb8d22Christian Maederop f : a -> a %(op)%
086c2ae737a3542e382be220c7cef3469ffb8d22Christian Maederprogram f (v @ _ : a) : a = v %(pe_f)%
086c2ae737a3542e382be220c7cef3469ffb8d22Christian Maeder### Hint 3.8-3.13, repeated declaration of 'f' with type 'a -> a'