law ambient_clear_all_empty

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

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

224law ambient_clear_all_empty:
225  for +c: C.CapCred
226  {C.CapState.ambient(C.CapCred.sets(A.Caps.ambient_clear_all(c))) == C.CapSet.empty() : C.CapSet()}