def AaSignal.check

bend-osdev-apparmor@0.1.0.0 · rule_signal.bend:54

import Base
import bend-osdev-apparmor@0.1.0.0/error.bend as E
import bend-osdev-apparmor@0.1.0.0/rule.bend as R

54def AaSignal.check(xs: List<&2, List<&2, U32>>, +src: E.AaSrc) -> Result<&2, &2, E.AaError, List<&2, List<&2, U32>>>:
55  match xs:
56    case Nil{}:
57      Done{Nil{}}
58    case Con{+x, rest}:
59      R.AaRule.check_names.go(AaSignal.valid(x), x, AaSignal.check(rest, src), src)