En la implementacion del tipo se tiene una variable contador de tipo cardinal que dice que es la maxima cantidad de elementos en la cola, bien.
Unicamente con ese dato con respecto a cantidad de elementos:
¿Como implemento la funcion IsFull en O(1) en el peor caso?