def Cap.valid
import bend-osdev-caps@0.1.0.0/caps.bend as Capsimport Base
151# whether k names a capability (0 to 40)
152def Cap.valid(k: U32) -> Bool:
153 U32.is_lt(k, 41)
import bend-osdev-caps@0.1.0.0/caps.bend as Capsimport Base
151# whether k names a capability (0 to 40)
152def Cap.valid(k: U32) -> Bool:
153 U32.is_lt(k, 41)