docs(cvl): disambiguating same-name user-defined types by originating contract - #478

docs(cvl): disambiguating same-name user-defined types by originating contract#478

shellygr merged 5 commits into

masterCertora/Documentation:masterfrom

shelly/cvl-conflicting-type-disambiguationCertora/Documentation:shelly/cvl-conflicting-type-disambiguationCopy head branch name to clipboard