law capset_valid

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

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

172law capset_valid:
173  for +c: C.CapCred
174  for +e: C.CapSet()
175  for +p: C.CapSet()
176  for +i: C.CapSet()
177  for h: {C.CapState.valid(C.CapCred.sets(c)) == True{} : Bool}
178  {C.CapState.valid(C.CapCred.sets(C.Caps.or(A.Caps.capset(c, e, p, i), c))) == True{} : Bool}