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

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