def AaSignal.rt.go
import bend-osdev-apparmor@0.1.0.0/rule_signal.bend as RuleSignalimport Base
40def AaSignal.rt.go(m: Maybe<&2, U32>) -> Bool:
41 match m:
42 case None{}:
43 False{}
44 case Some{v}:
45 U32.is_le(v, 32)
import bend-osdev-apparmor@0.1.0.0/rule_signal.bend as RuleSignalimport Base
40def AaSignal.rt.go(m: Maybe<&2, U32>) -> Bool:
41 match m:
42 case None{}:
43 False{}
44 case Some{v}:
45 U32.is_le(v, 32)