disco-0.1.0.0: test/pretty-issue258/input

:load example/catalan.disco
:defn treesOfSize
:load example/tree.disco
:defn treeFold