5 | | + pure (\u1 -> (\u2 -> u2))
9 | | + pure (\u1 -> Term)
17 | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
18 | | | | ` ref <hidden>
30 | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> u5)))))))
31 | | | | | | | ` satisfy
32 | | | | | | ` ref <hidden>
33 | | | | | ` ref <hidden>
34 | | | | ` ref <hidden>
45 | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term))))))
47 | | | | | ` ref <hidden>
48 | | | | ` ref <hidden>
55 | | + pure (\u1 -> (\u2 -> '('))
61 | | + pure (\u1 -> (\u2 -> ')'))
67 | | + pure (\u1 -> (\u2 -> ','))
73 | | + pure (\u1 -> (\u2 -> ';'))
79 | | + pure (\u1 -> (\u2 -> Term))
85 | | + pure (\u1 -> (\u2 -> u2))
91 | | + pure (\u1 -> (\u2 -> u2))
97 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
99 | | | | ` ref <hidden>
107 | | | + pure (\u1 -> (\u2 -> u2))
110 | | | | + pure (\u1 -> '0')
113 | | | + pure (\u1 -> '1')
121 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u2))))
126 | | | | | | + pure (\u1 -> (\u2 -> u2))
127 | | | | | | ` satisfy
128 | | | | | ` ref <hidden>
132 | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> u3)))
133 | | | | | | ` satisfy
135 | | | | ` ref <hidden>
140 | | + pure (\u1 -> (\u2 -> u2))
144 | | + pure (\u1 -> Term)
149 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> u2)))
150 | | | | | ` ref <hidden>
156 | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
157 | | | | | | | | ` rec <hidden>
158 | | | | | | | ` ref <hidden>
159 | | | | | | ` ref <hidden>
160 | | | | | ` ref <hidden>
161 | | | | ` ref <hidden>
171 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
172 | | | | | ` ref <hidden>
173 | | | | ` ref <hidden>
186 | | | | | | | | + <*>
187 | | | | | | | | | + <*>
188 | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> u9 u10))))))))))
189 | | | | | | | | | | ` try
190 | | | | | | | | | | ` <*>
191 | | | | | | | | | | + <*>
192 | | | | | | | | | | | + <*>
193 | | | | | | | | | | | | + <*>
194 | | | | | | | | | | | | | + <*>
195 | | | | | | | | | | | | | | + <*>
196 | | | | | | | | | | | | | | | + <*>
197 | | | | | | | | | | | | | | | | + <*>
198 | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> 'f' : ('u' : ('n' : ('c' : ('t' : ('i' : ('o' : ('n' : Term)))))))))))))))
199 | | | | | | | | | | | | | | | | | ` satisfy
200 | | | | | | | | | | | | | | | | ` satisfy
201 | | | | | | | | | | | | | | | ` satisfy
202 | | | | | | | | | | | | | | ` satisfy
203 | | | | | | | | | | | | | ` satisfy
204 | | | | | | | | | | | | ` satisfy
205 | | | | | | | | | | | ` satisfy
206 | | | | | | | | | | ` satisfy
207 | | | | | | | | | ` ref <hidden>
208 | | | | | | | | ` ref <hidden>
209 | | | | | | | ` ref <hidden>
210 | | | | | | ` ref <hidden>
215 | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> Term)))
216 | | | | | | | | ` satisfy
217 | | | | | | | ` ref <hidden>
218 | | | | | | ` ref <hidden>
219 | | | | | ` ref <hidden>
220 | | | | ` ref <hidden>
230 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
231 | | | | | ` ref <hidden>
232 | | | | ` ref <hidden>
242 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
243 | | | | | ` ref <hidden>
244 | | | | ` ref <hidden>
254 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
255 | | | | | ` ref <hidden>
256 | | | | ` ref <hidden>
266 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4 u5)))))
268 | | | | ` ref <hidden>
276 | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
280 | | | | | + pure (\u1 -> (\u2 -> u2))
284 | | | | | | + pure (\u1 -> (\u2 -> 'i' : ('f' : Term)))
285 | | | | | | ` satisfy
287 | | | | ` ref <hidden>
293 | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
297 | | | | | | | | + <*>
298 | | | | | | | | | + <*>
299 | | | | | | | | | | + <*>
300 | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> 'w' : ('h' : ('i' : ('l' : ('e' : Term)))))))))
301 | | | | | | | | | | | ` satisfy
302 | | | | | | | | | | ` satisfy
303 | | | | | | | | | ` satisfy
304 | | | | | | | | ` satisfy
305 | | | | | | | ` satisfy
306 | | | | | | ` ref <hidden>
307 | | | | | ` ref <hidden>
308 | | | | ` rec <hidden>
316 | | | | | | | | + <*>
317 | | | | | | | | | + <*>
318 | | | | | | | | | | + <*>
319 | | | | | | | | | | | + <*>
320 | | | | | | | | | | | | + <*>
321 | | | | | | | | | | | | | + <*>
322 | | | | | | | | | | | | | | + <*>
323 | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> (\u12 -> u11))))))))))))
324 | | | | | | | | | | | | | | | ` <|>
325 | | | | | | | | | | | | | | | + <*>
326 | | | | | | | | | | | | | | | | + <*>
327 | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> Term))
328 | | | | | | | | | | | | | | | | | ` try
329 | | | | | | | | | | | | | | | | | ` <*>
330 | | | | | | | | | | | | | | | | | + <*>
331 | | | | | | | | | | | | | | | | | | + <*>
332 | | | | | | | | | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> 'v' : ('a' : ('r' : Term)))))
333 | | | | | | | | | | | | | | | | | | | ` satisfy
334 | | | | | | | | | | | | | | | | | | ` satisfy
335 | | | | | | | | | | | | | | | | | ` satisfy
336 | | | | | | | | | | | | | | | | ` ref <hidden>
337 | | | | | | | | | | | | | | | ` ref <hidden>
338 | | | | | | | | | | | | | | ` ref <hidden>
339 | | | | | | | | | | | | | ` ref <hidden>
340 | | | | | | | | | | | | ` ref <hidden>
341 | | | | | | | | | | | ` ref <hidden>
342 | | | | | | | | | | ` satisfy
343 | | | | | | | | | ` ref <hidden>
344 | | | | | | | | ` ref <hidden>
345 | | | | | | | ` ref <hidden>
346 | | | | | | ` ref <hidden>
347 | | | | | ` ref <hidden>
348 | | | | ` ref <hidden>
351 | | | | + pure (\u1 -> (\u2 -> u1))
352 | | | | ` ref <hidden>
360 | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
368 | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
376 | | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
386 | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
387 | | | | | ` ref <hidden>
388 | | | | ` ref <hidden>
393 | ` pure (\u1 -> (\u2 -> u2))
405 | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> Term u4)))))
406 | | | | ` ref <hidden>