~/jendhub

def AaDbus.peer_slot

bend-osdev-apparmor@0.1.0.0 · rule_dbus.bend:53

import bend-osdev-apparmor@0.1.0.0/rule_dbus.bend as RuleDbus
import Base
import bend-osdev-apparmor@0.1.0.0/text.bend as X

53# a peer condition's key: name 5, label 6
54def AaDbus.peer_slot(+k: List<&2, U32>) -> Maybe<&2, Nat>:
55  Bool.pick(Maybe<&2, Nat>, X.AaText.is(k, "name"), Some{5n}, Bool.pick(Maybe<&2, Nat>, X.AaText.is(k, "label"), Some{6n}, None{}))

Uses (6)

Used by (1)