test/Golden/Grammar/nandlang.opt.dump

   1 <*>
   2 + <*>
   3 | + <*>
   4 | | + <*>
   5 | | | + <*>
   6 | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4)))))
   7 | | | | ` def <hidden>
   8 | | | |   ` <*>
   9 | | | |     + <*>
  10 | | | |     | + <*>
  11 | | | |     | | + pure (\u1 -> (\u2 -> (\u3 -> u3)))
  12 | | | |     | | ` def <hidden>
  13 | | | |     | |   ` pure Term
  14 | | | |     | ` def <hidden>
  15 | | | |     |   ` <|>
  16 | | | |     |     + <*>
  17 | | | |     |     | + <*>
  18 | | | |     |     | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
  19 | | | |     |     | | ` <|>
  20 | | | |     |     | |   + <*>
  21 | | | |     |     | |   | + <*>
  22 | | | |     |     | |   | | + pure (\u1 -> (\u2 -> Term))
  23 | | | |     |     | |   | | ` def <hidden>
  24 | | | |     |     | |   | |   ` <*>
  25 | | | |     |     | |   | |     + <*>
  26 | | | |     |     | |   | |     | + pure (\u1 -> (\u2 -> u2))
  27 | | | |     |     | |   | |     | ` satisfy
  28 | | | |     |     | |   | |     ` ref <hidden>
  29 | | | |     |     | |   | ` def <hidden>
  30 | | | |     |     | |   |   ` <|>
  31 | | | |     |     | |   |     + <*>
  32 | | | |     |     | |   |     | + <*>
  33 | | | |     |     | |   |     | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
  34 | | | |     |     | |   |     | | ` ref <hidden>
  35 | | | |     |     | |   |     | ` rec <hidden>
  36 | | | |     |     | |   |     ` pure (\u1 -> u1)
  37 | | | |     |     | |   ` <*>
  38 | | | |     |     | |     + <*>
  39 | | | |     |     | |     | + <*>
  40 | | | |     |     | |     | | + <*>
  41 | | | |     |     | |     | | | + <*>
  42 | | | |     |     | |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u5)))))
  43 | | | |     |     | |     | | | | ` try
  44 | | | |     |     | |     | | | |   ` <*>
  45 | | | |     |     | |     | | | |     + <*>
  46 | | | |     |     | |     | | | |     | + pure (\u1 -> (\u2 -> '/' : ('/' : Term)))
  47 | | | |     |     | |     | | | |     | ` satisfy
  48 | | | |     |     | |     | | | |     ` satisfy
  49 | | | |     |     | |     | | | ` ref <hidden>
  50 | | | |     |     | |     | | ` def <hidden>
  51 | | | |     |     | |     | |   ` <|>
  52 | | | |     |     | |     | |     + <*>
  53 | | | |     |     | |     | |     | + <*>
  54 | | | |     |     | |     | |     | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
  55 | | | |     |     | |     | |     | | ` satisfy
  56 | | | |     |     | |     | |     | ` rec <hidden>
  57 | | | |     |     | |     | |     ` pure (\u1 -> u1)
  58 | | | |     |     | |     | ` ref <hidden>
  59 | | | |     |     | |     ` ref <hidden>
  60 | | | |     |     | ` rec <hidden>
  61 | | | |     |     ` pure (\u1 -> u1)
  62 | | | |     ` ref <hidden>
  63 | | | ` ref <hidden>
  64 | | ` def <hidden>
  65 | |   ` <|>
  66 | |     + <*>
  67 | |     | + <*>
  68 | |     | | + <*>
  69 | |     | | | + <*>
  70 | |     | | | | + <*>
  71 | |     | | | | | + <*>
  72 | |     | | | | | | + <*>
  73 | |     | | | | | | | + <*>
  74 | |     | | | | | | | | + <*>
  75 | |     | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> u9 u10))))))))))
  76 | |     | | | | | | | | | ` try
  77 | |     | | | | | | | | |   ` <*>
  78 | |     | | | | | | | | |     + <*>
  79 | |     | | | | | | | | |     | + pure (\u1 -> (\u2 -> u2))
  80 | |     | | | | | | | | |     | ` try
  81 | |     | | | | | | | | |     |   ` <*>
  82 | |     | | | | | | | | |     |     + <*>
  83 | |     | | | | | | | | |     |     | + <*>
  84 | |     | | | | | | | | |     |     | | + <*>
  85 | |     | | | | | | | | |     |     | | | + <*>
  86 | |     | | | | | | | | |     |     | | | | + <*>
  87 | |     | | | | | | | | |     |     | | | | | + <*>
  88 | |     | | | | | | | | |     |     | | | | | | + <*>
  89 | |     | | | | | | | | |     |     | | | | | | | + <*>
  90 | |     | | | | | | | | |     |     | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> 'f' : ('u' : ('n' : ('c' : ('t' : ('i' : ('o' : ('n' : u9))))))))))))))))
  91 | |     | | | | | | | | |     |     | | | | | | | | ` satisfy
  92 | |     | | | | | | | | |     |     | | | | | | | ` satisfy
  93 | |     | | | | | | | | |     |     | | | | | | ` satisfy
  94 | |     | | | | | | | | |     |     | | | | | ` satisfy
  95 | |     | | | | | | | | |     |     | | | | ` satisfy
  96 | |     | | | | | | | | |     |     | | | ` satisfy
  97 | |     | | | | | | | | |     |     | | ` satisfy
  98 | |     | | | | | | | | |     |     | ` satisfy
  99 | |     | | | | | | | | |     |     ` def <hidden>
 100 | |     | | | | | | | | |     |       ` pure Term
 101 | |     | | | | | | | | |     ` def <hidden>
 102 | |     | | | | | | | | |       ` negLook
 103 | |     | | | | | | | | |         ` satisfy
 104 | |     | | | | | | | | ` ref <hidden>
 105 | |     | | | | | | | ` def <hidden>
 106 | |     | | | | | | |   ` <*>
 107 | |     | | | | | | |     + <*>
 108 | |     | | | | | | |     | + pure (\u1 -> (\u2 -> u2))
 109 | |     | | | | | | |     | ` try
 110 | |     | | | | | | |     |   ` <*>
 111 | |     | | | | | | |     |     + <*>
 112 | |     | | | | | | |     |     | + <*>
 113 | |     | | | | | | |     |     | | + <*>
 114 | |     | | | | | | |     |     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
 115 | |     | | | | | | |     |     | | | ` satisfy
 116 | |     | | | | | | |     |     | | ` ref <hidden>
 117 | |     | | | | | | |     |     | ` def <hidden>
 118 | |     | | | | | | |     |     |   ` <|>
 119 | |     | | | | | | |     |     |     + <*>
 120 | |     | | | | | | |     |     |     | + <*>
 121 | |     | | | | | | |     |     |     | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
 122 | |     | | | | | | |     |     |     | | ` satisfy
 123 | |     | | | | | | |     |     |     | ` rec <hidden>
 124 | |     | | | | | | |     |     |     ` pure (\u1 -> u1)
 125 | |     | | | | | | |     |     ` ref <hidden>
 126 | |     | | | | | | |     ` ref <hidden>
 127 | |     | | | | | | ` def <hidden>
 128 | |     | | | | | |   ` <*>
 129 | |     | | | | | |     + <*>
 130 | |     | | | | | |     | + pure (\u1 -> (\u2 -> '('))
 131 | |     | | | | | |     | ` satisfy
 132 | |     | | | | | |     ` ref <hidden>
 133 | |     | | | | | ` def <hidden>
 134 | |     | | | | |   ` <|>
 135 | |     | | | | |     + <*>
 136 | |     | | | | |     | + <*>
 137 | |     | | | | |     | | + <*>
 138 | |     | | | | |     | | | + <*>
 139 | |     | | | | |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
 140 | |     | | | | |     | | | | ` def <hidden>
 141 | |     | | | | |     | | | |   ` <*>
 142 | |     | | | | |     | | | |     + <*>
 143 | |     | | | | |     | | | |     | + pure (\u1 -> (\u2 -> u2))
 144 | |     | | | | |     | | | |     | ` ref <hidden>
 145 | |     | | | | |     | | | |     ` <|>
 146 | |     | | | | |     | | | |       + <*>
 147 | |     | | | | |     | | | |       | + pure (\u1 -> Term)
 148 | |     | | | | |     | | | |       | ` def <hidden>
 149 | |     | | | | |     | | | |       |   ` <*>
 150 | |     | | | | |     | | | |       |     + <*>
 151 | |     | | | | |     | | | |       |     | + <*>
 152 | |     | | | | |     | | | |       |     | | + <*>
 153 | |     | | | | |     | | | |       |     | | | + <*>
 154 | |     | | | | |     | | | |       |     | | | | + <*>
 155 | |     | | | | |     | | | |       |     | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term))))))
 156 | |     | | | | |     | | | |       |     | | | | | ` satisfy
 157 | |     | | | | |     | | | |       |     | | | | ` ref <hidden>
 158 | |     | | | | |     | | | |       |     | | | ` def <hidden>
 159 | |     | | | | |     | | | |       |     | | |   ` satisfy
 160 | |     | | | | |     | | | |       |     | | ` def <hidden>
 161 | |     | | | | |     | | | |       |     | |   ` <|>
 162 | |     | | | | |     | | | |       |     | |     + <*>
 163 | |     | | | | |     | | | |       |     | |     | + <*>
 164 | |     | | | | |     | | | |       |     | |     | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
 165 | |     | | | | |     | | | |       |     | |     | | ` ref <hidden>
 166 | |     | | | | |     | | | |       |     | |     | ` rec <hidden>
 167 | |     | | | | |     | | | |       |     | |     ` pure (\u1 -> u1)
 168 | |     | | | | |     | | | |       |     | ` satisfy
 169 | |     | | | | |     | | | |       |     ` ref <hidden>
 170 | |     | | | | |     | | | |       ` ref <hidden>
 171 | |     | | | | |     | | | ` ref <hidden>
 172 | |     | | | | |     | | ` def <hidden>
 173 | |     | | | | |     | |   ` <|>
 174 | |     | | | | |     | |     + <*>
 175 | |     | | | | |     | |     | + <*>
 176 | |     | | | | |     | |     | | + <*>
 177 | |     | | | | |     | |     | | | + <*>
 178 | |     | | | | |     | |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
 179 | |     | | | | |     | |     | | | | ` def <hidden>
 180 | |     | | | | |     | |     | | | |   ` pure (\u1 -> (\u2 -> u2))
 181 | |     | | | | |     | |     | | | ` def <hidden>
 182 | |     | | | | |     | |     | | |   ` <*>
 183 | |     | | | | |     | |     | | |     + <*>
 184 | |     | | | | |     | |     | | |     | + pure (\u1 -> (\u2 -> ','))
 185 | |     | | | | |     | |     | | |     | ` satisfy
 186 | |     | | | | |     | |     | | |     ` ref <hidden>
 187 | |     | | | | |     | |     | | ` ref <hidden>
 188 | |     | | | | |     | |     | ` rec <hidden>
 189 | |     | | | | |     | |     ` pure (\u1 -> u1)
 190 | |     | | | | |     | ` ref <hidden>
 191 | |     | | | | |     ` ref <hidden>
 192 | |     | | | | ` <|>
 193 | |     | | | |   + <*>
 194 | |     | | | |   | + <*>
 195 | |     | | | |   | | + <*>
 196 | |     | | | |   | | | + pure (\u1 -> (\u2 -> (\u3 -> Term)))
 197 | |     | | | |   | | | ` satisfy
 198 | |     | | | |   | | ` ref <hidden>
 199 | |     | | | |   | ` ref <hidden>
 200 | |     | | | |   ` ref <hidden>
 201 | |     | | | ` def <hidden>
 202 | |     | | |   ` <*>
 203 | |     | | |     + <*>
 204 | |     | | |     | + pure (\u1 -> (\u2 -> ')'))
 205 | |     | | |     | ` satisfy
 206 | |     | | |     ` ref <hidden>
 207 | |     | | ` def <hidden>
 208 | |     | |   ` <*>
 209 | |     | |     + <*>
 210 | |     | |     | + <*>
 211 | |     | |     | | + <*>
 212 | |     | |     | | | + <*>
 213 | |     | |     | | | | + <*>
 214 | |     | |     | | | | | + <*>
 215 | |     | |     | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> u5)))))))
 216 | |     | |     | | | | | | ` satisfy
 217 | |     | |     | | | | | ` ref <hidden>
 218 | |     | |     | | | | ` ref <hidden>
 219 | |     | |     | | | ` def <hidden>
 220 | |     | |     | | |   ` <|>
 221 | |     | |     | | |     + <*>
 222 | |     | |     | | |     | + <*>
 223 | |     | |     | | |     | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
 224 | |     | |     | | |     | | ` <|>
 225 | |     | |     | | |     | |   + <*>
 226 | |     | |     | | |     | |   | + <*>
 227 | |     | |     | | |     | |   | | + <*>
 228 | |     | |     | | |     | |   | | | + <*>
 229 | |     | |     | | |     | |   | | | | + <*>
 230 | |     | |     | | |     | |   | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u5)))))
 231 | |     | |     | | |     | |   | | | | | ` try
 232 | |     | |     | | |     | |   | | | | |   ` <*>
 233 | |     | |     | | |     | |   | | | | |     + <*>
 234 | |     | |     | | |     | |   | | | | |     | + pure (\u1 -> (\u2 -> u2))
 235 | |     | |     | | |     | |   | | | | |     | ` try
 236 | |     | |     | | |     | |   | | | | |     |   ` <*>
 237 | |     | |     | | |     | |   | | | | |     |     + <*>
 238 | |     | |     | | |     | |   | | | | |     |     | + <*>
 239 | |     | |     | | |     | |   | | | | |     |     | | + pure (\u1 -> (\u2 -> (\u3 -> 'i' : ('f' : u3))))
 240 | |     | |     | | |     | |   | | | | |     |     | | ` satisfy
 241 | |     | |     | | |     | |   | | | | |     |     | ` satisfy
 242 | |     | |     | | |     | |   | | | | |     |     ` ref <hidden>
 243 | |     | |     | | |     | |   | | | | |     ` ref <hidden>
 244 | |     | |     | | |     | |   | | | | ` ref <hidden>
 245 | |     | |     | | |     | |   | | | ` def <hidden>
 246 | |     | |     | | |     | |   | | |   ` <*>
 247 | |     | |     | | |     | |   | | |     + <*>
 248 | |     | |     | | |     | |   | | |     | + <*>
 249 | |     | |     | | |     | |   | | |     | | + <*>
 250 | |     | |     | | |     | |   | | |     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
 251 | |     | |     | | |     | |   | | |     | | | ` def <hidden>
 252 | |     | |     | | |     | |   | | |     | | |   ` <|>
 253 | |     | |     | | |     | |   | | |     | | |     + <*>
 254 | |     | |     | | |     | |   | | |     | | |     | + <*>
 255 | |     | |     | | |     | |   | | |     | | |     | | + pure (\u1 -> (\u2 -> u2))
 256 | |     | |     | | |     | |   | | |     | | |     | | ` <|>
 257 | |     | |     | | |     | |   | | |     | | |     | |   + <*>
 258 | |     | |     | | |     | |   | | |     | | |     | |   | + pure (\u1 -> '0')
 259 | |     | |     | | |     | |   | | |     | | |     | |   | ` satisfy
 260 | |     | |     | | |     | |   | | |     | | |     | |   ` <*>
 261 | |     | |     | | |     | |   | | |     | | |     | |     + pure (\u1 -> '1')
 262 | |     | |     | | |     | |   | | |     | | |     | |     ` satisfy
 263 | |     | |     | | |     | |   | | |     | | |     | ` ref <hidden>
 264 | |     | |     | | |     | |   | | |     | | |     ` <|>
 265 | |     | |     | | |     | |   | | |     | | |       + <*>
 266 | |     | |     | | |     | |   | | |     | | |       | + <*>
 267 | |     | |     | | |     | |   | | |     | | |       | | + <*>
 268 | |     | |     | | |     | |   | | |     | | |       | | | + <*>
 269 | |     | |     | | |     | |   | | |     | | |       | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u2))))
 270 | |     | |     | | |     | |   | | |     | | |       | | | | ` satisfy
 271 | |     | |     | | |     | |   | | |     | | |       | | | ` <|>
 272 | |     | |     | | |     | |   | | |     | | |       | | |   + <*>
 273 | |     | |     | | |     | |   | | |     | | |       | | |   | + <*>
 274 | |     | |     | | |     | |   | | |     | | |       | | |   | | + pure (\u1 -> (\u2 -> u2))
 275 | |     | |     | | |     | |   | | |     | | |       | | |   | | ` satisfy
 276 | |     | |     | | |     | |   | | |     | | |       | | |   | ` ref <hidden>
 277 | |     | |     | | |     | |   | | |     | | |       | | |   ` <*>
 278 | |     | |     | | |     | |   | | |     | | |       | | |     + <*>
 279 | |     | |     | | |     | |   | | |     | | |       | | |     | + <*>
 280 | |     | |     | | |     | |   | | |     | | |       | | |     | | + pure (\u1 -> (\u2 -> (\u3 -> u3)))
 281 | |     | |     | | |     | |   | | |     | | |       | | |     | | ` satisfy
 282 | |     | |     | | |     | |   | | |     | | |       | | |     | ` satisfy
 283 | |     | |     | | |     | |   | | |     | | |       | | |     ` ref <hidden>
 284 | |     | |     | | |     | |   | | |     | | |       | | ` satisfy
 285 | |     | |     | | |     | |   | | |     | | |       | ` ref <hidden>
 286 | |     | |     | | |     | |   | | |     | | |       ` <*>
 287 | |     | |     | | |     | |   | | |     | | |         + <*>
 288 | |     | |     | | |     | |   | | |     | | |         | + pure (\u1 -> (\u2 -> u2))
 289 | |     | |     | | |     | |   | | |     | | |         | ` ref <hidden>
 290 | |     | |     | | |     | |   | | |     | | |         ` <|>
 291 | |     | |     | | |     | |   | | |     | | |           + <*>
 292 | |     | |     | | |     | |   | | |     | | |           | + pure (\u1 -> Term)
 293 | |     | |     | | |     | |   | | |     | | |           | ` <|>
 294 | |     | |     | | |     | |   | | |     | | |           |   + <*>
 295 | |     | |     | | |     | |   | | |     | | |           |   | + <*>
 296 | |     | |     | | |     | |   | | |     | | |           |   | | + <*>
 297 | |     | |     | | |     | |   | | |     | | |           |   | | | + pure (\u1 -> (\u2 -> (\u3 -> u2)))
 298 | |     | |     | | |     | |   | | |     | | |           |   | | | ` ref <hidden>
 299 | |     | |     | | |     | |   | | |     | | |           |   | | ` <|>
 300 | |     | |     | | |     | |   | | |     | | |           |   | |   + <*>
 301 | |     | |     | | |     | |   | | |     | | |           |   | |   | + <*>
 302 | |     | |     | | |     | |   | | |     | | |           |   | |   | | + <*>
 303 | |     | |     | | |     | |   | | |     | | |           |   | |   | | | + <*>
 304 | |     | |     | | |     | |   | | |     | | |           |   | |   | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
 305 | |     | |     | | |     | |   | | |     | | |           |   | |   | | | | ` rec <hidden>
 306 | |     | |     | | |     | |   | | |     | | |           |   | |   | | | ` ref <hidden>
 307 | |     | |     | | |     | |   | | |     | | |           |   | |   | | ` def <hidden>
 308 | |     | |     | | |     | |   | | |     | | |           |   | |   | |   ` <|>
 309 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     + <*>
 310 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | + <*>
 311 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | + <*>
 312 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | + <*>
 313 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
 314 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | | ` ref <hidden>
 315 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | ` ref <hidden>
 316 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | ` rec <hidden>
 317 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | ` rec <hidden>
 318 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     ` pure (\u1 -> u1)
 319 | |     | |     | | |     | |   | | |     | | |           |   | |   | ` ref <hidden>
 320 | |     | |     | | |     | |   | | |     | | |           |   | |   ` ref <hidden>
 321 | |     | |     | | |     | |   | | |     | | |           |   | ` ref <hidden>
 322 | |     | |     | | |     | |   | | |     | | |           |   ` ref <hidden>
 323 | |     | |     | | |     | |   | | |     | | |           ` ref <hidden>
 324 | |     | |     | | |     | |   | | |     | | ` ref <hidden>
 325 | |     | |     | | |     | |   | | |     | ` def <hidden>
 326 | |     | |     | | |     | |   | | |     |   ` <|>
 327 | |     | |     | | |     | |   | | |     |     + <*>
 328 | |     | |     | | |     | |   | | |     |     | + <*>
 329 | |     | |     | | |     | |   | | |     |     | | + <*>
 330 | |     | |     | | |     | |   | | |     |     | | | + <*>
 331 | |     | |     | | |     | |   | | |     |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4 u5)))))
 332 | |     | |     | | |     | |   | | |     |     | | | | ` satisfy
 333 | |     | |     | | |     | |   | | |     |     | | | ` ref <hidden>
 334 | |     | |     | | |     | |   | | |     |     | | ` ref <hidden>
 335 | |     | |     | | |     | |   | | |     |     | ` rec <hidden>
 336 | |     | |     | | |     | |   | | |     |     ` pure (\u1 -> u1)
 337 | |     | |     | | |     | |   | | |     ` ref <hidden>
 338 | |     | |     | | |     | |   | | ` rec <hidden>
 339 | |     | |     | | |     | |   | ` <|>
 340 | |     | |     | | |     | |   |   + <*>
 341 | |     | |     | | |     | |   |   | + <*>
 342 | |     | |     | | |     | |   |   | | + <*>
 343 | |     | |     | | |     | |   |   | | | + pure (\u1 -> (\u2 -> (\u3 -> Term)))
 344 | |     | |     | | |     | |   |   | | | ` try
 345 | |     | |     | | |     | |   |   | | |   ` <*>
 346 | |     | |     | | |     | |   |   | | |     + <*>
 347 | |     | |     | | |     | |   |   | | |     | + pure (\u1 -> (\u2 -> u2))
 348 | |     | |     | | |     | |   |   | | |     | ` try
 349 | |     | |     | | |     | |   |   | | |     |   ` <*>
 350 | |     | |     | | |     | |   |   | | |     |     + <*>
 351 | |     | |     | | |     | |   |   | | |     |     | + <*>
 352 | |     | |     | | |     | |   |   | | |     |     | | + <*>
 353 | |     | |     | | |     | |   |   | | |     |     | | | + <*>
 354 | |     | |     | | |     | |   |   | | |     |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> 'e' : ('l' : ('s' : ('e' : u5))))))))
 355 | |     | |     | | |     | |   |   | | |     |     | | | | ` satisfy
 356 | |     | |     | | |     | |   |   | | |     |     | | | ` satisfy
 357 | |     | |     | | |     | |   |   | | |     |     | | ` satisfy
 358 | |     | |     | | |     | |   |   | | |     |     | ` satisfy
 359 | |     | |     | | |     | |   |   | | |     |     ` ref <hidden>
 360 | |     | |     | | |     | |   |   | | |     ` ref <hidden>
 361 | |     | |     | | |     | |   |   | | ` ref <hidden>
 362 | |     | |     | | |     | |   |   | ` rec <hidden>
 363 | |     | |     | | |     | |   |   ` ref <hidden>
 364 | |     | |     | | |     | |   ` <|>
 365 | |     | |     | | |     | |     + <*>
 366 | |     | |     | | |     | |     | + <*>
 367 | |     | |     | | |     | |     | | + <*>
 368 | |     | |     | | |     | |     | | | + <*>
 369 | |     | |     | | |     | |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
 370 | |     | |     | | |     | |     | | | | ` try
 371 | |     | |     | | |     | |     | | | |   ` <*>
 372 | |     | |     | | |     | |     | | | |     + <*>
 373 | |     | |     | | |     | |     | | | |     | + pure (\u1 -> (\u2 -> u2))
 374 | |     | |     | | |     | |     | | | |     | ` try
 375 | |     | |     | | |     | |     | | | |     |   ` <*>
 376 | |     | |     | | |     | |     | | | |     |     + <*>
 377 | |     | |     | | |     | |     | | | |     |     | + <*>
 378 | |     | |     | | |     | |     | | | |     |     | | + <*>
 379 | |     | |     | | |     | |     | | | |     |     | | | + <*>
 380 | |     | |     | | |     | |     | | | |     |     | | | | + <*>
 381 | |     | |     | | |     | |     | | | |     |     | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> 'w' : ('h' : ('i' : ('l' : ('e' : u6))))))))))
 382 | |     | |     | | |     | |     | | | |     |     | | | | | ` satisfy
 383 | |     | |     | | |     | |     | | | |     |     | | | | ` satisfy
 384 | |     | |     | | |     | |     | | | |     |     | | | ` satisfy
 385 | |     | |     | | |     | |     | | | |     |     | | ` satisfy
 386 | |     | |     | | |     | |     | | | |     |     | ` satisfy
 387 | |     | |     | | |     | |     | | | |     |     ` ref <hidden>
 388 | |     | |     | | |     | |     | | | |     ` ref <hidden>
 389 | |     | |     | | |     | |     | | | ` ref <hidden>
 390 | |     | |     | | |     | |     | | ` ref <hidden>
 391 | |     | |     | | |     | |     | ` rec <hidden>
 392 | |     | |     | | |     | |     ` <|>
 393 | |     | |     | | |     | |       + try
 394 | |     | |     | | |     | |       | ` <*>
 395 | |     | |     | | |     | |       |   + <*>
 396 | |     | |     | | |     | |       |   | + <*>
 397 | |     | |     | | |     | |       |   | | + <*>
 398 | |     | |     | | |     | |       |   | | | + <*>
 399 | |     | |     | | |     | |       |   | | | | + <*>
 400 | |     | |     | | |     | |       |   | | | | | + <*>
 401 | |     | |     | | |     | |       |   | | | | | | + <*>
 402 | |     | |     | | |     | |       |   | | | | | | | + <*>
 403 | |     | |     | | |     | |       |   | | | | | | | | + <*>
 404 | |     | |     | | |     | |       |   | | | | | | | | | + <*>
 405 | |     | |     | | |     | |       |   | | | | | | | | | | + <*>
 406 | |     | |     | | |     | |       |   | | | | | | | | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> (\u12 -> u11))))))))))))
 407 | |     | |     | | |     | |       |   | | | | | | | | | | | ` <|>
 408 | |     | |     | | |     | |       |   | | | | | | | | | | |   + <*>
 409 | |     | |     | | |     | |       |   | | | | | | | | | | |   | + <*>
 410 | |     | |     | | |     | |       |   | | | | | | | | | | |   | | + pure (\u1 -> (\u2 -> Term))
 411 | |     | |     | | |     | |       |   | | | | | | | | | | |   | | ` try
 412 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |   ` <*>
 413 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     + <*>
 414 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     | + pure (\u1 -> (\u2 -> u2))
 415 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     | ` try
 416 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |   ` <*>
 417 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     + <*>
 418 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | + <*>
 419 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | | + <*>
 420 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'v' : ('a' : ('r' : u4))))))
 421 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | | | ` satisfy
 422 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | | ` satisfy
 423 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | ` satisfy
 424 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     ` ref <hidden>
 425 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     ` ref <hidden>
 426 | |     | |     | | |     | |       |   | | | | | | | | | | |   | ` ref <hidden>
 427 | |     | |     | | |     | |       |   | | | | | | | | | | |   ` ref <hidden>
 428 | |     | |     | | |     | |       |   | | | | | | | | | | ` ref <hidden>
 429 | |     | |     | | |     | |       |   | | | | | | | | | ` ref <hidden>
 430 | |     | |     | | |     | |       |   | | | | | | | | ` def <hidden>
 431 | |     | |     | | |     | |       |   | | | | | | | |   ` <|>
 432 | |     | |     | | |     | |       |   | | | | | | | |     + <*>
 433 | |     | |     | | |     | |       |   | | | | | | | |     | + <*>
 434 | |     | |     | | |     | |       |   | | | | | | | |     | | + <*>
 435 | |     | |     | | |     | |       |   | | | | | | | |     | | | + <*>
 436 | |     | |     | | |     | |       |   | | | | | | | |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
 437 | |     | |     | | |     | |       |   | | | | | | | |     | | | | ` ref <hidden>
 438 | |     | |     | | |     | |       |   | | | | | | | |     | | | ` ref <hidden>
 439 | |     | |     | | |     | |       |   | | | | | | | |     | | ` ref <hidden>
 440 | |     | |     | | |     | |       |   | | | | | | | |     | ` rec <hidden>
 441 | |     | |     | | |     | |       |   | | | | | | | |     ` pure (\u1 -> u1)
 442 | |     | |     | | |     | |       |   | | | | | | | ` ref <hidden>
 443 | |     | |     | | |     | |       |   | | | | | | ` satisfy
 444 | |     | |     | | |     | |       |   | | | | | ` ref <hidden>
 445 | |     | |     | | |     | |       |   | | | | ` ref <hidden>
 446 | |     | |     | | |     | |       |   | | | ` ref <hidden>
 447 | |     | |     | | |     | |       |   | | ` def <hidden>
 448 | |     | |     | | |     | |       |   | |   ` <|>
 449 | |     | |     | | |     | |       |   | |     + <*>
 450 | |     | |     | | |     | |       |   | |     | + <*>
 451 | |     | |     | | |     | |       |   | |     | | + <*>
 452 | |     | |     | | |     | |       |   | |     | | | + <*>
 453 | |     | |     | | |     | |       |   | |     | | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
 454 | |     | |     | | |     | |       |   | |     | | | | ` ref <hidden>
 455 | |     | |     | | |     | |       |   | |     | | | ` ref <hidden>
 456 | |     | |     | | |     | |       |   | |     | | ` ref <hidden>
 457 | |     | |     | | |     | |       |   | |     | ` rec <hidden>
 458 | |     | |     | | |     | |       |   | |     ` pure (\u1 -> u1)
 459 | |     | |     | | |     | |       |   | ` ref <hidden>
 460 | |     | |     | | |     | |       |   ` def <hidden>
 461 | |     | |     | | |     | |       |     ` <*>
 462 | |     | |     | | |     | |       |       + <*>
 463 | |     | |     | | |     | |       |       | + pure (\u1 -> (\u2 -> ';'))
 464 | |     | |     | | |     | |       |       | ` satisfy
 465 | |     | |     | | |     | |       |       ` ref <hidden>
 466 | |     | |     | | |     | |       ` <*>
 467 | |     | |     | | |     | |         + <*>
 468 | |     | |     | | |     | |         | + pure (\u1 -> (\u2 -> u1))
 469 | |     | |     | | |     | |         | ` ref <hidden>
 470 | |     | |     | | |     | |         ` ref <hidden>
 471 | |     | |     | | |     | ` rec <hidden>
 472 | |     | |     | | |     ` pure (\u1 -> u1)
 473 | |     | |     | | ` ref <hidden>
 474 | |     | |     | ` satisfy
 475 | |     | |     ` ref <hidden>
 476 | |     | ` rec <hidden>
 477 | |     ` pure (\u1 -> u1)
 478 | ` ref <hidden>
 479 ` eof