law ambient_raise_valid

bend-osdev-caps@0.1.0.0 · LAWS.bend:198

import Base
import bend-osdev-caps@0.1.0.0/caps.bend as C
import bend-osdev-caps@0.1.0.0/adjust.bend as A

198law ambient_raise_valid:
199  for +k: C.CapsKernel
200  for +c: C.CapCred
201  for +x: U32
202  for h: {C.CapState.valid(C.CapCred.sets(c)) == True{} : Bool}
203  {C.CapState.valid(C.CapCred.sets(C.Caps.or(A.Caps.ambient_raise(k, c, x), c))) == True{} : Bool}