~/jendhub

def AaText.subset

bend-osdev-apparmor@0.1.0.0 · text.bend:159

import bend-osdev-apparmor@0.1.0.0/text.bend as Text
import Base

159# every name of xs is one of ys
160def AaText.subset(xs: List<&2, List<&2, U32>>, +ys: List<&2, List<&2, U32>>) -> Bool:
161  match xs:
162    case Nil{}:
163      True{}
164    case Con{h, t}:
165      Bool.and(AaText.member(ys, h), AaText.subset(t, ys))

Uses (5)

Used by (1)