"""
   An [[Array]] instance referring to another instance via one 
   of its elements.
 
   For example, given:
 
       value arr = Array({"hello"});
       value context = serialization();
       value refs = context.references(arr);
       assert(is Element elementRef = refs.find((element) => element is Element));
       assert(elementRef.referred(arr) == "hello");
       assert(elementRef.index == 0);
"""​
​shared sealed interface Element /*<Instance>*/​
        satisfies ReachableReference /*<Instance>*/{
    "The index of the element in the Array which makes the reference."​
    shared formal Integer index;
}
​