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

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