DEFINITION MODULE Dominio; TYPE DOMINIO = <>; PROCEDURE Dispersion(d: DOMINIO): CARDINAL; END Dominio.