INTERFACE ExtendedVectorRep = VectorRep (ExtendedBasic, ExtendedVector, ExtendedVectorFast) END ExtendedVectorRep.