def AaItB.norm

bend-osdev-apparmor@0.1.0.0 · parse.bend:237

import bend-osdev-apparmor@0.1.0.0/parse.bend as Parse

import Base
import bend-osdev-apparmor@0.1.0.0/token.bend as T

237def AaItB.norm(+b: AaItB, t: T.AaTok) -> AaItB:
238  AaItB.norm.go(t, Nat.is_eq(AaItB.pdepth(b), 0n), AaItB.pend_empty(b), b)

Uses (6)

Used by (3)