. . "type is a type known to the library." . .