def CapSet.has
import bend-osdev-caps@0.1.0.0/caps.bend as Capsimport Base
329# whether capability k is in s
330def CapSet.has(s: CapSet(), +k: U32) -> Bool:
331 CapSet.has.go(Cap.valid(k), s, k)
import bend-osdev-caps@0.1.0.0/caps.bend as Capsimport Base
329# whether capability k is in s
330def CapSet.has(s: CapSet(), +k: U32) -> Bool:
331 CapSet.has.go(Cap.valid(k), s, k)