def AaItB.paren
import bend-osdev-apparmor@0.1.0.0/parse.bend as Parseimport Base
import bend-osdev-apparmor@0.1.0.0/token.bend as T
114def AaItB.paren(b: AaItB, up: Bool, t: T.AaTok) -> AaItB:
115 match b:
116 case AaItB{f, m, pe, pd, out}:
117 match up:
118 case True{}:
119 AaItB{f, m, Con{t, pe}, 1n+pd, out}
120 case False{}:
121 AaItB{f, m, Con{t, pe}, Nat.sub(pd, 1n), out}