Primero, una pregunta media tonta, cuando se especifican los TAD en los exámenes, ¿hay que poner cuales operaciones son predicados, cuales constructoras, etc?
En segundo lugar, veo que en varias soluciones de exámenes especifican cosas de esta manera:
PROCEDURE Insert (t:T; p:CARDINAL; PQ:PQueue):Queue
Mi duda está en si estaría mal hacerlo así
PROCEDURE Insert (t:T; p:CARDINAL; VAR PQ:PQueue);