Arc.device_reaches: def of near-architecture@0.9.1.0
Import: import near-architecture@0.9.1.0/arc.bend as Arc
Lines 491-497 of near-architecture@0.9.1.0/arc.bend: https://jend.leeeet.dev/read.txt?path=near-architecture@0.9.1.0/arc.bend&start_line=491&end_line=497

import Base

# A server container needs overlay exposure exactly when a device-origin link reaches it.
def device_reaches(+key: String, xs: List<&2, Link>, +s: System) -> Bool:
  match xs:
    case []:
      False{}
    case Link{src, dst, _, _} <> rest:
      (is_device(role_of(src, s)) && str_eq(home(dst, s), key)) || device_reaches(key, rest, s)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=Link
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=System
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=home
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=is_device
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=role_of
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=str_eq