EXPERIMENT: emit part structure as a string#690

robsimmons wants to merge 5 commits into

mainleanprover/verso:mainfrom

serialize-part-structureleanprover/verso:serialize-part-structureCopy head branch name to clipboard