~/jendhub

def AaXSels.add

bend-osdev-apparmor@0.1.0.0 · transitions.bend:157

import bend-osdev-apparmor@0.1.0.0/transitions.bend as Transitions
import Base

157def AaXSels.add(s: AaXSels, lit: Bool, x: AaXSel) -> AaXSels:
158  match s:
159    case AaXSels{l, p}:
160      match lit:
161        case True{}:
162          AaXSels{Con{x, l}, p}
163        case False{}:
164          AaXSels{l, Con{x, p}}

Uses (4)

Used by (1)