with Ada.Containers.Vectors;

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