def cr.lrw.gf

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

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

108def cr.lrw.gf(+n: Nat, r: Result<&2, &2, G.Gf128Error, G.Gf128>) -> Result<&2, &2, Cr.CrError, G.Gf128>:
109  match r:
110    case Fail{e}:
111      Fail{Cr.CrBadKeyLength{n}}
112    case Done{x}:
113      Done{x}