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

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