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

   1 <*>
   2 + <*>
   3 | + pure (\u1 -> (\u2 -> u1 : u2 Term))
   4 | ` def <hidden>
   5 |   ` try
   6 |     ` <*>
   7 |       + <*>
   8 |       | + <*>
   9 |       | | + <*>
  10 |       | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'a' : ('b' : ('c' : ('d' : Term)))))))
  11 |       | | | ` satisfy
  12 |       | | ` satisfy
  13 |       | ` satisfy
  14 |       ` satisfy
  15 ` def <hidden>
  16   ` <|>
  17     + <*>
  18     | + <*>
  19     | | + pure (\u1 -> (\u2 -> (\u3 -> u1 : u2 u3)))
  20     | | ` ref <hidden>
  21     | ` rec <hidden>
  22     ` pure (\u1 -> u1)