package vector is type vector2d is tagged record X : Float; Y : Float; end record; type range_type is digits 6 range 0.0 .. Float'Last; procedure set_X (V : in out vector2d; X : in Float); procedure set_Y (V : in out vector2d; Y : in Float); function get_vect (X : in Float; Y : in Float) return vector2d; function get_range (V : in vector2d) return range_type; end vector;