We call generic type a parametrized specification defining a family of types. Each member of that family is characterized, in a defining occurrence, by its generic name and its actual parameters.