Properly handle same name types from different packages - #29

Properly handle same name types from different packages#29

satvik007 merged 2 commits into

mainHypersequent/zen:mainfrom

dev/himanshu/type-name-clashesHypersequent/zen:dev/himanshu/type-name-clashesCopy head branch name to clipboard