def sp.pad.pick

bend-osdev-legacy-ciphers@0.1.0.0 · serpent.bend:361

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

361def sp.pad.pick(short: Bool, +xs: List<&2, U32>, +n: Nat) -> List<&2, U32>:
362  match short:
363    case True{}:
364      B.append(xs, Con{1, B.zeros(Nat.sub(31n, n))})
365    case False{}:
366      xs