RuleFile.AaFp.step.st: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/rule_file.bend as RuleFile
Lines 197-230 of bend-osdev-apparmor@0.1.0.0/rule_file.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/rule_file.bend&start_line=197&end_line=230

import Base

def AaFp.step.st(s: AaFpSt, +f: AaFp, +h: U32) -> AaFp:
  match s:
    case AaFpBase{}:
      AaFp.base(f, h)
    case AaFpI{}:
      AaFp.x(f, h, AaXIx{})
    case AaFpLp{}:
      AaFp.ext(f, h, AaXPx{False{}, AaFbNone{}}, 105, AaFpLpi{}, 117, AaFpLpu{})
    case AaFpLpi{}:
      AaFp.x(f, h, AaXPx{False{}, AaFbIx{}})
    case AaFpLpu{}:
      AaFp.x(f, h, AaXPx{False{}, AaFbUx{}})
    case AaFpUp{}:
      AaFp.ext(f, h, AaXPx{True{}, AaFbNone{}}, 105, AaFpUpi{}, 85, AaFpUpU{})
    case AaFpUpi{}:
      AaFp.x(f, h, AaXPx{True{}, AaFbIx{}})
    case AaFpUpU{}:
      AaFp.x(f, h, AaXPx{True{}, AaFbUx{}})
    case AaFpLc{}:
      AaFp.ext(f, h, AaXCx{False{}, AaFbNone{}}, 105, AaFpLci{}, 117, AaFpLcu{})
    case AaFpLci{}:
      AaFp.x(f, h, AaXCx{False{}, AaFbIx{}})
    case AaFpLcu{}:
      AaFp.x(f, h, AaXCx{False{}, AaFbUx{}})
    case AaFpUc{}:
      AaFp.ext(f, h, AaXCx{True{}, AaFbNone{}}, 105, AaFpUci{}, 85, AaFpUcU{})
    case AaFpUci{}:
      AaFp.x(f, h, AaXCx{True{}, AaFbIx{}})
    case AaFpUcU{}:
      AaFp.x(f, h, AaXCx{True{}, AaFbUx{}})
    case AaFpLu{}:
      AaFp.x(f, h, AaXUx{False{}})
    case AaFpUu{}:
      AaFp.x(f, h, AaXUx{True{}})

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_file.bend&name=AaFp
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_file.bend&name=AaFp.base
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_file.bend&name=AaFp.ext
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_file.bend&name=AaFp.x
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_file.bend&name=AaFpSt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_file.bend&name=AaXFallback
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_file.bend&name=AaXMode