Transitions.AaTarget.show: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/transitions.bend as Transitions
Lines 64-71 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=64&end_line=71

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

def AaTarget.show(t: AaTarget) -> String:
  match t:
    case AaTStay{}:
      "stay"
    case AaTProfile{n}:
      "profile " ++ X.AaText.to_string(n)
    case AaTUnconfined{}:
      "unconfined"

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/text.bend&name=AaText.to_string
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&name=AaTarget