Interface TypeDefinitionWrapper