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

   1 lets
   2 ` <*>
   3   + pure Term
   4   ` <|>
   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 'a'
  20     |   |   ` satisfy
  21     |   ` pure Term
  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