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

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