def AaText.one_of

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

import Base

151# s is one of the strings ns
152def AaText.one_of(ns: List<&2, String>, +s: List<&2, U32>) -> Bool:
153  match ns:
154    case Nil{}:
155      False{}
156    case Con{h, t}:
157      Bool.or(AaText.is(s, h), AaText.one_of(t, s))