def CapSetW.push

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

import Base

346def CapSetW.push(b: Bool, k: U32, rest: List<&2, U32>) -> List<&2, U32>:
347  match b:
348    case True{}:
349      Con{k, rest}
350    case False{}:
351      rest