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

   1 lets
   2 + let <hidden>
   3 | ` <|>
   4 |   + <*>
   5 |   | + <*>
   6 |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3)))
   7 |   | | ` satisfy
   8 |   | ` rec <hidden>
   9 |   ` pure (\u1 -> u1)
  10 ` <*>
  11   + <*>
  12   | + pure (\u1 -> (\u2 -> Term (u1 Term)))
  13   | ` ref <hidden>
  14   ` eof