bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederop snd : s * t -> t
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederprogram snd (x, y) = y
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederprogram b:s = a
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederop x : s; y: t
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maederop c : t = snd (x : s, y : t)