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

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