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

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