7 | lift2Value (\u1 -> (\u2 -> u1 u2))
17 | | catchException "fail"
18 | | minReads=(Right 0)
22 | | | | minReads=(Left "fail")
23 | | | | mayRaise=["fail"]
24 | | | | read (\u1 -> Term)
25 | | | | minReads=(Left "fail")
26 | | | | mayRaise=["fail"]
28 | | | | minReads=(Left "fail")
29 | | | | mayRaise=["fail"]
30 | | | | popException "fail"
31 | | | | minReads=(Left "fail")
32 | | | | mayRaise=["fail"]
34 | | | | minReads=(Left "fail")
35 | | | | mayRaise=["fail"]
36 | | | | raiseException "fail"
37 | | | | minReads=(Left "fail")
38 | | | | mayRaise=["fail"]
41 | | | | minReads=(Right 0)
43 | | | | pushValue Term
44 | | | | minReads=(Right 0)
46 | | | | popException "fail"
47 | | | | minReads=(Right 0)
49 | | | | refJoin <hidden>
50 | | | | minReads=(Right 0)
54 | | minReads=(Left "fail")
57 | | minReads=(Left "fail")
59 | | choicesBranch [(\u1 -> u1)]
60 | | minReads=(Left "fail")
63 | | | | raiseException "fail"
64 | | | | minReads=(Left "fail")
65 | | | | mayRaise=["fail"]
67 | | | | raiseException "fail"
68 | | | | minReads=(Left "fail")
69 | | | | mayRaise=["fail"]