def device_reaches

near-architecture@0.9.1.0 · arc.bend:491

import Base

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