1 pushValue (\u1 -> (\u2 -> (\u3 -> u1 : u2 Term)))
4 | pushValue (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'a' : ('b' : ('c' : ('d' : Term)))))))
6 | lift2Value (\u1 -> (\u2 -> u1 u2))
8 | lift2Value (\u1 -> (\u2 -> u1 u2))
10 | lift2Value (\u1 -> (\u2 -> u1 u2))
12 | lift2Value (\u1 -> (\u2 -> u1 u2))
14 | lift2Value (\u1 -> (\u2 -> u1 u2))
16 | | lift2Value (\u1 -> (\u2 -> u1 u2))
18 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
20 | | catchException "fail"
22 | | | catchException "fail"
25 | | | | read (\u1 -> Term)
27 | | | | popException "fail"
29 | | | | raiseException "fail"
33 | | | popException "fail"
34 | | | refJoin <hidden>
38 | | choicesBranch [(\u1 -> u1)]
40 | | | raiseException "fail"
42 | | raiseException "fail"
43 | catchException "fail"
45 | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3)))
47 | | lift2Value (\u1 -> (\u2 -> u1 u2))
49 | | lift2Value (\u1 -> (\u2 -> u1 u2))
50 | | popException "fail"
55 | choicesBranch [(\u1 -> u1)]
57 | | pushValue (\u1 -> u1)
60 | raiseException "fail"