def AaRule.check_names

bend-osdev-apparmor@0.1.0.0 · rule.bend:93

import Base
import bend-osdev-apparmor@0.1.0.0/text.bend as X
import bend-osdev-apparmor@0.1.0.0/error.bend as E

93def AaRule.check_names(xs: List<&2, List<&2, U32>>, +ok: List<&2, String>, +src: E.AaSrc) -> Result<&2, &2, E.AaError, List<&2, List<&2, U32>>>:
94  match xs:
95    case Nil{}:
96      Done{Nil{}}
97    case Con{+x, rest}:
98      AaRule.check_names.go(X.AaText.one_of(ok, x), x, AaRule.check_names(rest, ok, src), src)