def rv64

bend-collections-laws-crypto@1.0.0.0 · spec/math/f64.bend:370

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as WU
import bend-collections-laws-crypto@1.0.0.0/src/math/num.bend as N
import bend-collections-laws-crypto@1.0.0.0/spec/math/w64.bend as SW

370def rv64(r: Result<&2, &2, N.NumError, WU.U64>) -> Result<&2, &2, N.NumError, Nat>:
371  match r:
372    case Fail{e}:
373      Fail{e}
374    case Done{w}:
375      Done{SW.value(w)}