def reach_ok

near-v-framework@0.4.0.0 · domain/architecture/ops.bend:448

import Base
import near-v-framework@0.4.0.0/domain/architecture/type.bend as A

448def reach_ok(ks: List<&2, String>, +a: A.Architecture) -> Bool:
449  match ks:
450    case []:
451      True{}
452    case +k <> rest:
453      follows_reach(reached(k, edges(a), containers(a), on_devices(nodes(a))), exposure_of(k, containers(a))) && reach_ok(rest, a)