1with Ada.Streams; use Ada.Streams; 2 3package Lto11 is 4 5 type Vector is array (Positive range <>) of Float; 6 7 procedure Write (S : not null access Root_Stream_Type'Class; V : Vector); 8 9end Lto11; 10