blob: 386d5ac4620a23eb1b9a064e33802e705ea3e4cf [file] [log] [blame]
with Ada.Streams; use Ada.Streams;
package Lto11 is
type Vector is array (Positive range <>) of Float;
procedure Write (S : not null access Root_Stream_Type'Class; V : Vector);
end Lto11;