IMPLEMENTATION MODULE DTypes; PROCEDURE Sum(v : Vec) : INTEGER; VAR i, s : INTEGER; BEGIN s := 0; FOR i := 0 TO 2 DO s := s + v[i] END; RETURN s END Sum; PROCEDURE OriginX(p : Point) : INTEGER; BEGIN RETURN p.x END OriginX; END DTypes.