RuleMount.AaMtB.pend: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/rule_mount.bend as RuleMount
Lines 80-83 of bend-osdev-apparmor@0.1.0.0/rule_mount.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/rule_mount.bend&start_line=80&end_line=83

import Base

def AaMtB.pend(b: AaMtB, n: Nat) -> AaMtB:
  match b:
    case AaMtB{pe, fs, os, p1, ar, p2}:
      AaMtB{n, fs, os, p1, ar, p2}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_mount.bend&name=AaMtB