def cr.pick_n

bend-osdev-crypto@0.1.0.0 · modes.bend:90

import Base

90def cr.pick_n(full: Bool, +n: Nat) -> Nat:
91  match full:
92    case True{}:
93      0n
94    case False{}:
95      n