DEFINITION MODULE BibColaC;
FROM ColaC IMPORT COLAC;
FROM TadItem IMPORT ITEM;

PROCEDURE Escribir(c: COLAC);
PROCEDURE Esta(x: ITEM; c: COLAC): BOOLEAN;
PROCEDURE Iguales(a,b: COLAC): BOOLEAN;

PROCEDURE RotarAtras(VAR c: COLAC);

TYPE CONDICION = PROCEDURE(ITEM): BOOLEAN;

PROCEDURE RotarHasta(VAR c: COLAC; cond: CONDICION);
PROCEDURE Filtrar(VAR a: COLAC; b: COLAC; cond: CONDICION);

END BibColaC.


