def CapBits.all

bend-osdev-caps@0.1.0.0 · caps.bend:186

import Base

186# the set of every capability below n
187def CapBits.all(n: Nat) -> Word(n):
188  match n:
189    case 0n:
190      WNil{}
191    case 1n+p:
192      WCon{True{}, CapBits.all(p)}