def nodes_owned

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

import Base
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/type.bend as D
import near-v-framework@0.4.0.0/domain/architecture/environment/inventory/type.bend as I

615def nodes_owned(ns: List<&2, D.Node>, +inv: I.Inventory) -> Bool:
616  match ns:
617    case []:
618      True{}
619    case n <> rest:
620      match n:
621        case D.Node{_, +name, _, _, h, _, kids, _}:
622          host_ok(h, name, inv) && nodes_owned(kids, inv) && nodes_owned(rest, inv)