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