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