def Caps.ambient_lower
import bend-osdev-caps@0.1.0.0/adjust.bend as Adjustimport Base
import bend-osdev-caps@0.1.0.0/caps.bend as C
131# PR_CAP_AMBIENT_LOWER
132def Caps.ambient_lower(k: C.CapsKernel, +c: C.CapCred, +x: U32) -> Result<&2, &2, C.CapsError, C.CapCred>:
133 CapAdjust.ambient_lower.go(C.CapsKernel.valid(k, x), c, x)