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

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