Virtual sequences must know their length:

length ( seq -- n )

An exemplar of the underlying storage:

virtual-exemplar ( seq -- seq' )

The index and the underlying storage where the value is located:

virtual@ ( n seq -- n' seq' )