| | + <*>
| | | + <*>
| | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4)))))
-| | | | ` def name_20
+| | | | ` def <hidden>
| | | | ` <*>
| | | | + <*>
| | | | | + <*>
| | | | | | + pure (\u1 -> (\u2 -> (\u3 -> u3)))
-| | | | | | ` def name_7
+| | | | | | ` def <hidden>
| | | | | | ` pure Term
-| | | | | ` def name_8
+| | | | | ` def <hidden>
| | | | | ` <|>
| | | | | + <*>
| | | | | | + <*>
| | | | | | | + <*>
| | | | | | | | + <*>
| | | | | | | | | + pure (\u1 -> (\u2 -> Term))
-| | | | | | | | | ` def name_5
+| | | | | | | | | ` def <hidden>
| | | | | | | | | ` <*>
| | | | | | | | | + <*>
| | | | | | | | | | + pure (\u1 -> (\u2 -> u2))
| | | | | | | | | | ` satisfy
-| | | | | | | | | ` ref name_7
-| | | | | | | | ` def name_3
+| | | | | | | | | ` ref <hidden>
+| | | | | | | | ` def <hidden>
| | | | | | | | ` <|>
| | | | | | | | + <*>
| | | | | | | | | + <*>
| | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
-| | | | | | | | | | ` ref name_5
-| | | | | | | | | ` rec name_3
+| | | | | | | | | | ` ref <hidden>
+| | | | | | | | | ` rec <hidden>
| | | | | | | | ` pure (\u1 -> u1)
| | | | | | | ` <*>
| | | | | | | + <*>
| | | | | | | | | | | | + pure (\u1 -> (\u2 -> '/' : ('/' : Term)))
| | | | | | | | | | | | ` satisfy
| | | | | | | | | | | ` satisfy
-| | | | | | | | | | ` ref name_7
-| | | | | | | | | ` def name_30
+| | | | | | | | | | ` ref <hidden>
+| | | | | | | | | ` def <hidden>
| | | | | | | | | ` <|>
| | | | | | | | | + <*>
| | | | | | | | | | + <*>
| | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
| | | | | | | | | | | ` satisfy
-| | | | | | | | | | ` rec name_30
+| | | | | | | | | | ` rec <hidden>
| | | | | | | | | ` pure (\u1 -> u1)
-| | | | | | | | ` ref name_7
-| | | | | | | ` ref name_7
-| | | | | | ` rec name_8
+| | | | | | | | ` ref <hidden>
+| | | | | | | ` ref <hidden>
+| | | | | | ` rec <hidden>
| | | | | ` pure (\u1 -> u1)
-| | | | ` ref name_7
-| | | ` ref name_7
-| | ` def name_6
+| | | | ` ref <hidden>
+| | | ` ref <hidden>
+| | ` def <hidden>
| | ` <|>
| | + <*>
| | | + <*>
| | | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | ` def name_14
+| | | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | | ` pure Term
-| | | | | | | | | | | ` def name_15
+| | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | ` negLook
| | | | | | | | | | | ` satisfy
-| | | | | | | | | | ` ref name_20
-| | | | | | | | | ` def name_19
+| | | | | | | | | | ` ref <hidden>
+| | | | | | | | | ` def <hidden>
| | | | | | | | | ` <*>
| | | | | | | | | + <*>
| | | | | | | | | | + pure (\u1 -> (\u2 -> u2))
| | | | | | | | | | | | + <*>
| | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
| | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | ` ref name_7
-| | | | | | | | | | | ` def name_23
+| | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | ` <|>
| | | | | | | | | | | + <*>
| | | | | | | | | | | | + <*>
| | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
| | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | ` rec name_23
+| | | | | | | | | | | | ` rec <hidden>
| | | | | | | | | | | ` pure (\u1 -> u1)
-| | | | | | | | | | ` ref name_7
-| | | | | | | | | ` ref name_20
-| | | | | | | | ` def name_25
+| | | | | | | | | | ` ref <hidden>
+| | | | | | | | | ` ref <hidden>
+| | | | | | | | ` def <hidden>
| | | | | | | | ` <*>
| | | | | | | | + <*>
| | | | | | | | | + pure (\u1 -> (\u2 -> '('))
| | | | | | | | | ` satisfy
-| | | | | | | | ` ref name_20
-| | | | | | | ` def name_21
+| | | | | | | | ` ref <hidden>
+| | | | | | | ` def <hidden>
| | | | | | | ` <|>
| | | | | | | + <*>
| | | | | | | | + <*>
| | | | | | | | | + <*>
| | | | | | | | | | + <*>
| | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
-| | | | | | | | | | | ` def name_12
+| | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | ` <*>
| | | | | | | | | | | + <*>
| | | | | | | | | | | | + pure (\u1 -> (\u2 -> u2))
-| | | | | | | | | | | | ` ref name_19
+| | | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | | ` <|>
| | | | | | | | | | | + <*>
| | | | | | | | | | | | + pure (\u1 -> Term)
-| | | | | | | | | | | | ` def name_28
+| | | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | | ` <*>
| | | | | | | | | | | | + <*>
| | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term))))))
| | | | | | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | | | | | ` ref name_20
-| | | | | | | | | | | | | | | ` def name_10
+| | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | | | ` def name_26
+| | | | | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | | | | ` <|>
| | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
-| | | | | | | | | | | | | | | | ` ref name_10
-| | | | | | | | | | | | | | | ` rec name_26
+| | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | ` rec <hidden>
| | | | | | | | | | | | | | ` pure (\u1 -> u1)
| | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | ` ref name_20
-| | | | | | | | | | | ` ref name_7
-| | | | | | | | | | ` ref name_7
-| | | | | | | | | ` def name_17
+| | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | ` ref <hidden>
+| | | | | | | | | ` def <hidden>
| | | | | | | | | ` <|>
| | | | | | | | | + <*>
| | | | | | | | | | + <*>
| | | | | | | | | | | + <*>
| | | | | | | | | | | | + <*>
| | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
-| | | | | | | | | | | | | ` def name_24
+| | | | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | | | ` pure (\u1 -> (\u2 -> u2))
-| | | | | | | | | | | | ` def name_13
+| | | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | | ` <*>
| | | | | | | | | | | | + <*>
| | | | | | | | | | | | | + pure (\u1 -> (\u2 -> ','))
| | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | ` ref name_20
-| | | | | | | | | | | ` ref name_12
-| | | | | | | | | | ` rec name_17
+| | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | ` rec <hidden>
| | | | | | | | | ` pure (\u1 -> u1)
-| | | | | | | | ` ref name_7
-| | | | | | | ` ref name_7
+| | | | | | | | ` ref <hidden>
+| | | | | | | ` ref <hidden>
| | | | | | ` <|>
| | | | | | + <*>
| | | | | | | + <*>
| | | | | | | | + <*>
| | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> Term)))
| | | | | | | | | ` satisfy
-| | | | | | | | ` ref name_20
-| | | | | | | ` ref name_21
-| | | | | | ` ref name_7
-| | | | | ` def name_1
+| | | | | | | | ` ref <hidden>
+| | | | | | | ` ref <hidden>
+| | | | | | ` ref <hidden>
+| | | | | ` def <hidden>
| | | | | ` <*>
| | | | | + <*>
| | | | | | + pure (\u1 -> (\u2 -> ')'))
| | | | | | ` satisfy
-| | | | | ` ref name_20
-| | | | ` def name_18
+| | | | | ` ref <hidden>
+| | | | ` def <hidden>
| | | | ` <*>
| | | | + <*>
| | | | | + <*>
| | | | | | | | | + <*>
| | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> u5)))))))
| | | | | | | | | | ` satisfy
-| | | | | | | | | ` ref name_20
-| | | | | | | | ` ref name_7
-| | | | | | | ` def name_2
+| | | | | | | | | ` ref <hidden>
+| | | | | | | | ` ref <hidden>
+| | | | | | | ` def <hidden>
| | | | | | | ` <|>
| | | | | | | + <*>
| | | | | | | | + <*>
| | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> 'i' : ('f' : u3))))
| | | | | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | | | | ` ref name_14
-| | | | | | | | | | | | | | ` ref name_15
-| | | | | | | | | | | | | ` ref name_20
-| | | | | | | | | | | | ` def name_16
+| | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | | ` <*>
| | | | | | | | | | | | + <*>
| | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
-| | | | | | | | | | | | | | | ` def name_22
+| | | | | | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | | | | | ` <|>
| | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | ` <*>
| | | | | | | | | | | | | | | | | + pure (\u1 -> '1')
| | | | | | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | | | | | ` ref name_20
+| | | | | | | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | | | | | | ` <|>
| | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> u2))
| | | | | | | | | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | | | | | | | | ` ref name_7
+| | | | | | | | | | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | | | | | | | | | ` <*>
| | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> u3)))
| | | | | | | | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | | | | | | | ` ref name_7
+| | | | | | | | | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | | | | | ` ref name_20
+| | | | | | | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | | | | | | ` <*>
| | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> u2))
-| | | | | | | | | | | | | | | | ` ref name_19
+| | | | | | | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | | | | | | ` <|>
| | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | + pure (\u1 -> Term)
| | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> u2)))
-| | | | | | | | | | | | | | | | | | | ` ref name_25
+| | | | | | | | | | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | | | | | | | | | ` <|>
| | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
-| | | | | | | | | | | | | | | | | | | | | | ` rec name_16
-| | | | | | | | | | | | | | | | | | | | | ` ref name_7
-| | | | | | | | | | | | | | | | | | | | ` def name_27
+| | | | | | | | | | | | | | | | | | | | | | ` rec <hidden>
+| | | | | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | | | | | | | | | | ` <|>
| | | | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
-| | | | | | | | | | | | | | | | | | | | | | | | ` ref name_24
-| | | | | | | | | | | | | | | | | | | | | | | ` ref name_13
-| | | | | | | | | | | | | | | | | | | | | | ` rec name_16
-| | | | | | | | | | | | | | | | | | | | | ` rec name_27
+| | | | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | | | | | | ` rec <hidden>
+| | | | | | | | | | | | | | | | | | | | | ` rec <hidden>
| | | | | | | | | | | | | | | | | | | | ` pure (\u1 -> u1)
-| | | | | | | | | | | | | | | | | | | ` ref name_7
-| | | | | | | | | | | | | | | | | | ` ref name_7
-| | | | | | | | | | | | | | | | | ` ref name_1
-| | | | | | | | | | | | | | | | ` ref name_28
-| | | | | | | | | | | | | | | ` ref name_7
-| | | | | | | | | | | | | | ` ref name_7
-| | | | | | | | | | | | | ` def name_4
+| | | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | | | ` <|>
| | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4 u5)))))
| | | | | | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | | | | | ` ref name_20
-| | | | | | | | | | | | | | | ` ref name_22
-| | | | | | | | | | | | | | ` rec name_4
+| | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | ` rec <hidden>
| | | | | | | | | | | | | ` pure (\u1 -> u1)
-| | | | | | | | | | | | ` ref name_7
-| | | | | | | | | | | ` rec name_18
+| | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | ` rec <hidden>
| | | | | | | | | | ` <|>
| | | | | | | | | | + <*>
| | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | | | ` ref name_14
-| | | | | | | | | | | | | ` ref name_15
-| | | | | | | | | | | | ` ref name_20
-| | | | | | | | | | | ` rec name_18
-| | | | | | | | | | ` ref name_7
+| | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | ` rec <hidden>
+| | | | | | | | | | ` ref <hidden>
| | | | | | | | | ` <|>
| | | | | | | | | + <*>
| | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | | | ` ref name_14
-| | | | | | | | | | | | | ` ref name_15
-| | | | | | | | | | | | ` ref name_20
-| | | | | | | | | | | ` ref name_16
-| | | | | | | | | | ` rec name_18
+| | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | ` rec <hidden>
| | | | | | | | | ` <|>
| | | | | | | | | + try
| | | | | | | | | | ` <*>
| | | | | | | | | | | | | | | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | | | | | | | | | | | | | ` ref name_14
-| | | | | | | | | | | | | | | | | | | | | | | ` ref name_15
-| | | | | | | | | | | | | | | | | | | | | | ` ref name_20
-| | | | | | | | | | | | | | | | | | | | | ` ref name_7
-| | | | | | | | | | | | | | | | | | | | ` ref name_12
-| | | | | | | | | | | | | | | | | | | ` ref name_7
-| | | | | | | | | | | | | | | | | | ` def name_9
+| | | | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | | | | | | | | ` <|>
| | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
-| | | | | | | | | | | | | | | | | | | | | | ` ref name_24
-| | | | | | | | | | | | | | | | | | | | | ` ref name_13
-| | | | | | | | | | | | | | | | | | | | ` ref name_12
-| | | | | | | | | | | | | | | | | | | ` rec name_9
+| | | | | | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | | | | | ` rec <hidden>
| | | | | | | | | | | | | | | | | | ` pure (\u1 -> u1)
-| | | | | | | | | | | | | | | | | ` ref name_7
+| | | | | | | | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | | | | | | | ` satisfy
-| | | | | | | | | | | | | | | ` ref name_20
-| | | | | | | | | | | | | | ` ref name_16
-| | | | | | | | | | | | | ` ref name_7
-| | | | | | | | | | | | ` def name_11
+| | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | ` def <hidden>
| | | | | | | | | | | | ` <|>
| | | | | | | | | | | | + <*>
| | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
-| | | | | | | | | | | | | | | | ` ref name_24
-| | | | | | | | | | | | | | | ` ref name_13
-| | | | | | | | | | | | | | ` ref name_16
-| | | | | | | | | | | | | ` rec name_11
+| | | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | | | | ` rec <hidden>
| | | | | | | | | | | | ` pure (\u1 -> u1)
-| | | | | | | | | | | ` ref name_7
-| | | | | | | | | | ` def name_29
+| | | | | | | | | | | ` ref <hidden>
+| | | | | | | | | | ` def <hidden>
| | | | | | | | | | ` <*>
| | | | | | | | | | + <*>
| | | | | | | | | | | + pure (\u1 -> (\u2 -> ';'))
| | | | | | | | | | | ` satisfy
-| | | | | | | | | | ` ref name_20
+| | | | | | | | | | ` ref <hidden>
| | | | | | | | | ` <*>
| | | | | | | | | + <*>
| | | | | | | | | | + pure (\u1 -> (\u2 -> u1))
-| | | | | | | | | | ` ref name_16
-| | | | | | | | | ` ref name_29
-| | | | | | | | ` rec name_2
+| | | | | | | | | | ` ref <hidden>
+| | | | | | | | | ` ref <hidden>
+| | | | | | | | ` rec <hidden>
| | | | | | | ` pure (\u1 -> u1)
-| | | | | | ` ref name_7
+| | | | | | ` ref <hidden>
| | | | | ` satisfy
-| | | | ` ref name_20
-| | | ` rec name_6
+| | | | ` ref <hidden>
+| | | ` rec <hidden>
| | ` pure (\u1 -> u1)
-| ` ref name_7
+| ` ref <hidden>
` eof