PatternEq.hascasl revision bada0c99c6398c209ec9c6a9f5b316b7b5c99b33
0N/Atype s, t
5270N/Aop snd : s * t -> t
0N/Aprogram snd (x, y) = y
0N/A
0N/Aop a : s
0N/Aop b : s
2362N/Aprogram b:s = a
0N/A
2362N/Aop x : s; y: t
0N/A
0N/Aop c : t = snd (x : s, y : t)
0N/A