def ends_resolve

near-v-framework@0.4.0.0 · general/compound/ops.bend:21

import Base
import near-v-framework@0.4.0.0/general/compound/edge/type.bend as E

21def ends_resolve(es: List<&2, E.Edge>, +ks: List<&2, String>) -> Bool:
22  match es:
23    case []:
24      True{}
25    case e <> rest:
26      match e:
27        case E.Edge{a, b, _, _}:
28          has(ks, a) && has(ks, b) && ends_resolve(rest, ks)