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

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