clean up unused types in definitions.rs and remove outdated docstring - #818

clean up unused types in definitions.rs and remove outdated docstring#818

NSoiffer merged 1 commit into

daisy:maindaisy/MathCAT:mainfrom

moritz-gross:clean-up-definitions-collectionsmoritz-gross/MathCAT:clean-up-definitions-collectionsCopy head branch name to clipboard