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

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