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