Pair.hascasl revision b5b03751832cc37eb5be9409d9efba4882935611
type a, b;
free type Pair ::= Pair (fst : a; snd : b)
op f (a : a; b: b) : Pair = Pair (a, b)
op g : Pair ->? a
program g(Pair (a, b)) = a