def m64.iv

bend-osdev-cipher-core@0.1.0.0 · modes64.bend:131

import Base
import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as L

131def m64.iv(m: Maybe<&2, L.LcBlock64>, +n: Nat) -> Result<&2, &2, L.LcError, L.LcBlock64>:
132  match m:
133    case None{}:
134      Fail{L.LcBadIvLength{n}}
135    case Some{b}:
136      Done{b}