test/Golden/Grammar/OptimizeGrammar/G7.expected.txt

   1 lets
   2 ` <*>
   3   + pure Term
   4   ` <|>
   5     + try
   6     | ` <*>
   7     |   + <*>
   8     |   | + pure (\u1 -> (\u2 -> 'a' : ('a' : Term)))
   9     |   | ` satisfy
  10     |   ` satisfy
  11     ` try
  12       ` <*>
  13         + <*>
  14         | + pure (\u1 -> (\u2 -> 'a' : ('b' : Term)))
  15         | ` satisfy
  16         ` satisfy