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

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