YANG - XPath to obtain set of nodes referenced by list of leafrefs

Question

I have a YANG 1.1 model that contains something of the following form:

container top {
  container foo-list {

    list foo {
      key foo-id;
      
      leaf