An accessor policy defines types and operations by which
a reference to a single object is created
from an abstract data handle to a number of such objects and an index.
A range of indices [0,N) is an accessible range of
a given data handle and an accessor
if, for each i in the range,
the accessor policy's access function produces a valid reference to an object.