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

   1 lets
   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 'b'
  18       |   ` satisfy
  19       ` <*>
  20         + <*>
  21         | + pure cons
  22         | ` <*>
  23         |   + <*>
  24         |   | + pure (\u1 -> (\u2 -> u1))
  25         |   | ` pure 'c'
  26         |   ` satisfy
  27         ` pure Term