def Pkcs7.unpad

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

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

84# m without its padding; m must be a non-empty whole number of blocks
85def Pkcs7.unpad(+bs: Nat, m: B.Octets) -> Result<&2, &2, M.CmError, B.Octets>:
86  Pkcs7.unpad.go(pkcs7.size_ok(bs), bs, m)