5 type Length
is new Natural;
6 subtype Index
is Length
range 1 .. Length
'Last;
8 type Bytes
is array (Index
range <>) of Byte
with
9 Predicate
=> Bytes
'Length > 0;
12 type Index_Type
is (<>);
13 type Element_Type
is (<>);
14 type Array_Type
is array (Index_Type
range <>) of Element_Type
;
15 type Value_Type
is (<>);
16 function F
(Data
: Array_Type
) return Value_Type
;