blob: 386d5ac4620a23eb1b9a064e33802e705ea3e4cf (
plain)
1
2
3
4
5
6
7
8
9
|
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;
|