DEFINITION MODULE Dominio;

TYPE DOMINIO = <<a definir>>;

PROCEDURE Dispersion(d: DOMINIO): CARDINAL;

END Dominio.
