Interface TypeDefinition