-> Arity <- Devuelve la cantidad de feactures de un record.
-> Width <- Devuelve la longitud del record.
-> Label <- Devuelve el label del record.