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