test/Golden/Grammar/ViewGrammar/G14.expected.txt

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