Document a bit more the horizon checks

[haskell/symantic-parser.git] / test / Golden / Grammar / unit-unit.dump

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