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

   1 <*>
   2 + <*>
   3 | + <*>
   4 | | + pure (\u1 -> (\u2 -> (\u3 -> u1 : u2 Term)))
   5 | | ` try
   6 | |   ` <*>
   7 | |     + <*>
   8 | |     | + <*>
   9 | |     | | + <*>
  10 | |     | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'a' : ('b' : ('c' : ('d' : Term)))))))
  11 | |     | | | ` def <hidden>
  12 | |     | | |   ` satisfy
  13 | |     | | ` ref <hidden>
  14 | |     | ` ref <hidden>
  15 | |     ` ref <hidden>
  16 | ` <|>
  17 |   + <*>
  18 |   | + <*>
  19 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3)))
  20 |   | | ` ref <hidden>
  21 |   | ` rec <hidden>
  22 |   ` pure (\u1 -> u1)
  23 ` eof