def pk.pad

bend-osdev-pkcs7@0.1.0.0 · PROOF.bend:1318

import bend-osdev-pkcs7@0.1.0.0/PROOF.bend as PROOF

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

1318# the padding of 1 + p1 bytes
1319def pk.pad(+p1: Nat) -> B.Octets:
1320  B.Octets.of_list(P.pkcs7.fill(1n+p1, U32.from_nat(1n+p1)))

Uses (5)

Used by (5)