def Pkcs7.pad.go

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

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

27def Pkcs7.pad.go(ok: Bool, +bs: Nat, m: B.Octets) -> Result<&2, &2, M.CmError, B.Octets>:
28  match ok:
29    case True{}:
30      Done{pkcs7.pad.oct(bs, m)}
31    case False{}:
32      Fail{M.CmBadBlockSize{bs}}