refactor(FOL): derive Repr and add ToString for the syntax types - #40

refactor(FOL): derive Repr and add ToString for the syntax types#40

arademaker merged 3 commits into

maincslib-community/CSwL:mainfrom

refactor/fol-tostringcslib-community/CSwL:refactor/fol-tostringCopy head branch name to clipboard