def observed.go

near-architecture@0.9.1.0 · arc.bend:599

import Base

599def observed.go(xs: List<&2, Container>, +s: System, +obs: List<&2, String>) -> Bool:
600  match xs:
601    case []:
602      True{}
603    case c <> rest:
604      match c:
605        case Container{+k, _, _, owner, _, _, _, source, _, _, _, _}:
606          (Bool.not(is_ours(owner) && Bool.not(str_eq(source, ""))) || reports_to(links(s), k, parts(s), obs)) && observed.go(rest, s, obs)