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