En la biblioteca codice_2 se define un tipo de dato llamado codice_6 que representa el tamaño de un vector para las funciones miembro de la biblioteca.