test/Golden/Grammar/many-char-eof.opt.dump

   1 <*>
   2 + <*>
   3 | + pure (\u1 -> (\u2 -> u1 Term))
   4 | ` def <hidden>
   5 |   ` <|>
   6 |     + <*>
   7 |     | + <*>
   8 |     | | + pure (\u1 -> (\u2 -> (\u3 -> 'r' : u2 u3)))
   9 |     | | ` satisfy
  10 |     | ` rec <hidden>
  11 |     ` pure (\u1 -> u1)
  12 ` eof