def pk.k2

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

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M
import bend-osdev-pkcs7@0.1.0.0/pkcs7.bend as P

1312def pk.k2(+bs: Nat, +m: B.Octets, +n: Nat, +p: Nat, le: Bool, +d: U32) -> Result<&2, &2, M.CmError, B.Octets>:
1313  P.pkcs7.strip(Bool.and(Nat.is_lt(0n, p), Bool.and(le, U32.is_eq(d, 0))), n, p, m)