~/jendhub

def AaQ.parse.go

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

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

1028def AaQ.parse.go(+k: Nat, +t: T.AaTerm, +rest: List<&2, T.AaTerm>, +stage: Nat, +q: AaBQ, more: AaQP) -> AaQP:
1029  Bool.pick(AaQP, AaQ.allowed(k, stage), more, AaQP{q, Con{t, rest}})

Uses (7)

Used by (1)