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' )