PatternEq.hascasl revision fcfed328fae6266214ee61ee7a16fd263fd3cb70
type s, t
op snd : s * t -> t
program snd (x, y) = y
program snd (x : s, y : t) : t = y
program (x:s, y:s) = (x:s, y:s)
op a : s
program b:s = a
op b : s
program b:s = a