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

   1 <*>
   2 + <*>
   3 | + <*>
   4 | | + pure (\u1 -> (\u2 -> u1))
   5 | | ` pure (\u1 -> u1)
   6 | ` def name_282
   7 |   ` <*>
   8 |     + <*>
   9 |     | + <*>
  10 |     | | + pure (\u1 -> (\u2 -> u1))
  11 |     | | ` pure (\u1 -> u1)
  12 |     | ` <*>
  13 |     |   + <*>
  14 |     |   | + pure ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
  15 |     |   | ` pure Term
  16 |     |   ` def name_283
  17 |     |     ` <|>
  18 |     |       + <*>
  19 |     |       | + <*>
  20 |     |       | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
  21 |     |       | | ` <*>
  22 |     |       | |   + <*>
  23 |     |       | |   | + pure (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
  24 |     |       | |   | ` pure (\u1 -> (\u2 -> u1))
  25 |     |       | |   ` satisfy
  26 |     |       | ` rec name_283
  27 |     |       ` pure (\u1 -> u1)
  28 |     ` pure Term
  29 ` def name_281
  30   ` <*>
  31     + def name_280
  32     | ` <|>
  33     |   + <*>
  34     |   | + <*>
  35     |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
  36     |   | | ` <*>
  37     |   | |   + pure cons
  38     |   | |   ` <*>
  39     |   | |     + <*>
  40     |   | |     | + pure (\u1 -> (\u2 -> u1))
  41     |   | |     | ` conditional
  42     |   | |     |   + look
  43     |   | |     |   | ` satisfy
  44     |   | |     |   + bs
  45     |   | |     |   | + <*>
  46     |   | |     |   | | + <*>
  47     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  48     |   | |     |   | | | ` pure Term
  49     |   | |     |   | | ` satisfy
  50     |   | |     |   | + <*>
  51     |   | |     |   | | + <*>
  52     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  53     |   | |     |   | | | ` pure Term
  54     |   | |     |   | | ` satisfy
  55     |   | |     |   | + <*>
  56     |   | |     |   | | + <*>
  57     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  58     |   | |     |   | | | ` pure Term
  59     |   | |     |   | | ` satisfy
  60     |   | |     |   | + <*>
  61     |   | |     |   | | + <*>
  62     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  63     |   | |     |   | | | ` pure Term
  64     |   | |     |   | | ` satisfy
  65     |   | |     |   | + <*>
  66     |   | |     |   | | + <*>
  67     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  68     |   | |     |   | | | ` pure Term
  69     |   | |     |   | | ` satisfy
  70     |   | |     |   | + <*>
  71     |   | |     |   | | + <*>
  72     |   | |     |   | | | + pure (\u1 -> (\u2 -> u1))
  73     |   | |     |   | | | ` pure Term
  74     |   | |     |   | | ` satisfy
  75     |   | |     |   | ` <*>
  76     |   | |     |   |   + <*>
  77     |   | |     |   |   | + pure (\u1 -> (\u2 -> u1))
  78     |   | |     |   |   | ` <*>
  79     |   | |     |   |   |   + <*>
  80     |   | |     |   |   |   | + <*>
  81     |   | |     |   |   |   | | + pure (\u1 -> (\u2 -> u1))
  82     |   | |     |   |   |   | | ` pure (\u1 -> u1)
  83     |   | |     |   |   |   | ` <*>
  84     |   | |     |   |   |   |   + <*>
  85     |   | |     |   |   |   |   | + pure (\u1 -> (\u2 -> u1))
  86     |   | |     |   |   |   |   | ` satisfy
  87     |   | |     |   |   |   |   ` ref name_282
  88     |   | |     |   |   |   ` <*>
  89     |   | |     |   |   |     + pure Term
  90     |   | |     |   |   |     ` rec name_281
  91     |   | |     |   |   ` <*>
  92     |   | |     |   |     + <*>
  93     |   | |     |   |     | + pure (\u1 -> (\u2 -> u1))
  94     |   | |     |   |     | ` pure ']'
  95     |   | |     |   |     ` satisfy
  96     |   | |     |   ` empty
  97     |   | |     ` ref name_282
  98     |   | ` rec name_280
  99     |   ` pure (\u1 -> u1)
 100     ` pure Term