with Ada.Containers.Vectors; package Adafn.Key.Vectors is new Ada.Containers.Vectors (Positive, Key.Object);