~/jendhub

def all_in

near-architecture@0.9.1.0 · arc.bend:345

import near-architecture@0.9.1.0/arc.bend as Arc
import Base

345# Every key in `xs` names something in `ks`.
346def all_in(xs: List<&2, String>, +ks: List<&2, String>) -> Bool:
347  match xs:
348    case []:
349      True{}
350    case x <> rest:
351      has(x, ks) && all_in(rest, ks)

Uses (5)

Used by (1)