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