Transitions.AaXSels.add: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/transitions.bend as Transitions
Lines 157-164 of bend-osdev-apparmor@0.1.0.0/transitions.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&start_line=157&end_line=164

import Base

def AaXSels.add(s: AaXSels, lit: Bool, x: AaXSel) -> AaXSels:
  match s:
    case AaXSels{l, p}:
      match lit:
        case True{}:
          AaXSels{Con{x, l}, p}
        case False{}:
          AaXSels{l, Con{x, p}}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&name=AaXSel
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&name=AaXSels