def cr.lrw.index.of

bend-osdev-crypto@0.1.0.0 · lrw.bend:125

import Base
import bend-osdev-gf@0.1.0.0/gf128.bend as G
import bend-osdev-crypto@0.1.0.0/crypto.bend as Cr

125def cr.lrw.index.of(+n: Nat, r: Result<&2, &2, G.Gf128Error, G.Gf128>) -> Result<&2, &2, Cr.CrError, G.Gf128>:
126  match r:
127    case Fail{e}:
128      Fail{Cr.CrBadIvLength{n}}
129    case Done{x}:
130      Done{x}