def pkcs7.fill

bend-osdev-pkcs7@0.1.0.0 · pkcs7.bend:9

import Base

9# n bytes of value v
10def pkcs7.fill(n: Nat, +v: U32) -> List<&2, U32>:
11  match n:
12    case 0n:
13      Nil{}
14    case 1n+p:
15      Con{v, pkcs7.fill(p, v)}