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

   1 <|>
   2 + try
   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 ` try
  21   ` <*>
  22     + <*>
  23     | + pure cons
  24     | ` <*>
  25     |   + <*>
  26     |   | + pure (\u1 -> (\u2 -> u1))
  27     |   | ` pure 'a'
  28     |   ` satisfy
  29     ` <*>
  30       + <*>
  31       | + pure cons
  32       | ` <*>
  33       |   + <*>
  34       |   | + pure (\u1 -> (\u2 -> u1))
  35       |   | ` pure 'b'
  36       |   ` satisfy
  37       ` pure Term