Kawa/gnu/lists/GVector.java

package gnu.lists;

/** A "generalized vector" - a randomly-acessible sequence. */

public interface GVector<E> extends AVector<E>, java.util.RandomAccess
{
}