def CapSet.del
import bend-osdev-caps@0.1.0.0/caps.bend as Capsimport Base
336def CapSet.del(s: CapSet(), k: U32) -> CapSet():
337 CapSet.minus(s, CapSet.of(k))
import bend-osdev-caps@0.1.0.0/caps.bend as Capsimport Base
336def CapSet.del(s: CapSet(), k: U32) -> CapSet():
337 CapSet.minus(s, CapSet.of(k))