def AaMtB.pend

bend-osdev-apparmor@0.1.0.0 · rule_mount.bend:80

import Base

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