def pkcs7.strip

bend-osdev-cipher-modes@0.1.0.0 · pkcs7.bend:58

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M

58def pkcs7.strip(ok: Bool, +n: Nat, +p: Nat, m: B.Octets) -> Result<&2, &2, M.CmError, B.Octets>:
59  match ok:
60    case True{}:
61      Done{B.Octets.take(Nat.sub(n, p), m)}
62    case False{}:
63      Fail{M.CmBadPadding{}}