-> Arity <- 

Devuelve la cantidad de feactures de un record.
-> Width <- 

Devuelve la longitud del record.
-> Label <- 

Devuelve el label del record.