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

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