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

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