"A means via which one instance can refer to another." shared interface ReachableReference/*<Instance>*/ // Reachable of Member|Element|Outer { "The [[referred]] instance reachable from the given [[instance]]." shared formal Anything referred(Object/*<Instance>*/ instance); }