law witness_ambient_inheritable

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

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

289# ambient within inheritable, for a credential's sets and for a state
290law witness_ambient_inheritable:
291  {C.CapSet.subset(C.CapState.ambient(C.CapCred.sets(C.CapCred{1000, 1000, 1000, False{}, False{}, C.CapState{C.CapSet.from_list([10, 13]), C.CapSet.of(10), C.CapSet.of(13), C.CapSet.full(), C.CapSet.of(10)}})), C.CapState.inheritable(C.CapCred.sets(C.CapCred{1000, 1000, 1000, False{}, False{}, C.CapState{C.CapSet.from_list([10, 13]), C.CapSet.of(10), C.CapSet.of(13), C.CapSet.full(), C.CapSet.of(10)}}))) == True{} : Bool}