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

   1 lets
   2 ` <*>
   3   + pure Term
   4   ` try
   5     ` <*>
   6       + <*>
   7       | + pure cons
   8       | ` <*>
   9       |   + <*>
  10       |   | + pure (\u1 -> (\u2 -> u1))
  11       |   | ` pure 'a'
  12       |   ` satisfy
  13       ` <*>
  14         + <*>
  15         | + pure cons
  16         | ` <*>
  17         |   + <*>
  18         |   | + pure (\u1 -> (\u2 -> u1))
  19         |   | ` pure 'b'
  20         |   ` satisfy
  21         ` <*>
  22           + <*>
  23           | + pure cons
  24           | ` <*>
  25           |   + <*>
  26           |   | + pure (\u1 -> (\u2 -> u1))
  27           |   | ` pure 'c'
  28           |   ` satisfy
  29           ` pure Term