def CapExec.flags
import bend-osdev-caps@0.1.0.0/exec.bend as Execimport Base
import bend-osdev-caps@0.1.0.0/caps.bend as C
138def CapExec.flags(k: C.CapsKernel, c: C.CapCred, +f: C.CapFile, +ign: Bool) -> CapExecFlags:
139 CapExec.flags.mk(CapExec.file_caps(k, f, ign), c, f, ign)