"Exposes the instances directly reachable from a given instance." | |
shared sealed interface References/*<Instance>*/ | |
// could be generic | |
satisfies {<ReachableReference/*<Instance>*/->Anything>*} { | |
"The instance" | |
shared formal Anything/*<Instance>*/ instance; | |
"The references that are reachable from the [[instance]]." | |
shared formal Iterable<ReachableReference/*<Instance>*/> references; | |
} | |
| |
|