1 pushValue (\u1 -> (\u2 -> (\u3 -> u1 : u2 Term)))
3 | catchException "fail"
5 | | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'a' : ('b' : ('c' : ('d' : Term)))))))
7 | | lift2Value (\u1 -> (\u2 -> u1 u2))
9 | | lift2Value (\u1 -> (\u2 -> u1 u2))
11 | | lift2Value (\u1 -> (\u2 -> u1 u2))
13 | | lift2Value (\u1 -> (\u2 -> u1 u2))
14 | | popException "fail"
18 | raiseException "fail"
20 lift2Value (\u1 -> (\u2 -> u1 u2))
22 | catchException "fail"
24 | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3)))
26 | | lift2Value (\u1 -> (\u2 -> u1 u2))
28 | | lift2Value (\u1 -> (\u2 -> u1 u2))
29 | | popException "fail"
34 | choicesBranch [(\u1 -> u1)]
36 | | pushValue (\u1 -> u1)
39 | raiseException "fail"
41 lift2Value (\u1 -> (\u2 -> u1 u2))
43 | lift2Value (\u1 -> (\u2 -> u1 u2))
47 | catchException "fail"
50 | | read (\u1 -> Term)
52 | | popException "fail"
54 | | raiseException "fail"
63 choicesBranch [(\u1 -> u1)]
65 | raiseException "fail"