1package Opt56 is
2
3   type Vector is array (Positive range <>) of Float;
4
5   function F (Values : Vector) return Boolean;
6
7end Opt56;
8