symantic-parser-0.1.0.20210201: test/Golden/Grammar/boom.dump

<*>
+ <*>
| + <*>
| | + pure (\u1 -> (\u2 -> u1))
| | ` pure (\u1 -> u1)
| ` <*>
|   + <*>
|   | + def <hidden>
|   | | ` <*>
|   | |   + pure (\u1 -> (\u2 -> u1))
|   | |   ` pure (\u1 -> u1)
|   | ` def <hidden>
|   |   ` <*>
|   |     + <*>
|   |     | + def <hidden>
|   |     | | ` <*>
|   |     | |   + pure (\u1 -> (\u2 -> u1))
|   |     | |   ` pure (\u1 -> u1)
|   |     | ` def <hidden>
|   |     |   ` <*>
|   |     |     + <*>
|   |     |     | + <*>
|   |     |     | | + pure (\u1 -> (\u2 -> u1))
|   |     |     | | ` pure (\u1 -> u1)
|   |     |     | ` rec <hidden>
|   |     |     ` rec <hidden>
|   |     ` rec <hidden>
|   ` def <hidden>
|     ` pure Term
` <*>
  + <*>
  | + ref <hidden>
  | ` def <hidden>
  |   ` <*>
  |     + <*>
  |     | + ref <hidden>
  |     | ` def <hidden>
  |     |   ` <*>
  |     |     + <*>
  |     |     | + <*>
  |     |     | | + pure (\u1 -> (\u2 -> u1))
  |     |     | | ` pure (\u1 -> u1)
  |     |     | ` rec <hidden>
  |     |     ` rec <hidden>
  |     ` rec <hidden>
  ` ref <hidden>