~/jendhub

def all_belong

near-v-framework@0.4.0.0 · domain/architecture/system/deployment/nix_darwin/ops.bend:125

import near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/ops.bend as Ops
import Base
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/type.bend as ND

125def all_belong(xs: List<&2, ND.Listening>, +keys: List<&2, String>) -> Bool:
126  match xs:
127    case []:
128      True{}
129    case l <> rest:
130      belongs(l, keys) && all_belong(rest, keys)

Uses (6)

Used by (1)