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

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