symantic-parser-0.1.0.20210201: test/Golden/Grammar/brainfuck.opt.dump

<*>
+ <*>
| + pure (\u1 -> (\u2 -> u2))
| ` def <hidden>
|   ` <*>
|     + pure (\u1 -> Term)
|     ` def <hidden>
|       ` <|>
|         + <*>
|         | + <*>
|         | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
|         | | ` satisfy
|         | ` rec <hidden>
|         ` pure (\u1 -> u1)
` def <hidden>
  ` <*>
    + pure (\u1 -> u1 Term)
    ` def <hidden>
      ` <|>
        + <*>
        | + <*>
        | | + <*>
        | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
        | | | ` conditional
        | | |   + look
        | | |   | ` satisfy
        | | |   + bs
        | | |   | + <*>
        | | |   | | + pure (\u1 -> (\u2 -> cons Term))
        | | |   | | ` satisfy
        | | |   | + <*>
        | | |   | | + pure (\u1 -> (\u2 -> cons Term))
        | | |   | | ` satisfy
        | | |   | + <*>
        | | |   | | + pure (\u1 -> (\u2 -> cons Term))
        | | |   | | ` satisfy
        | | |   | + <*>
        | | |   | | + pure (\u1 -> (\u2 -> cons Term))
        | | |   | | ` satisfy
        | | |   | + <*>
        | | |   | | + pure (\u1 -> (\u2 -> cons Term))
        | | |   | | ` satisfy
        | | |   | + <*>
        | | |   | | + pure (\u1 -> (\u2 -> cons Term))
        | | |   | | ` satisfy
        | | |   | ` <*>
        | | |   |   + <*>
        | | |   |   | + <*>
        | | |   |   | | + <*>
        | | |   |   | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
        | | |   |   | | | ` satisfy
        | | |   |   | | ` ref <hidden>
        | | |   |   | ` rec <hidden>
        | | |   |   ` satisfy
        | | |   ` empty
        | | ` ref <hidden>
        | ` rec <hidden>
        ` pure (\u1 -> u1)