ExtensionNamesAreUnique🔗

Type: Transpilable verification function

Check that the extension names are unique.

Code

name_set: Set[str] = set()
for extension in extensions:
    if extension.name in name_set:
        return False

    name_set.add(extension.name)

return True