def lift_nat

bend-collections-laws-crypto@1.0.0.0 · spec/math/generic.bend:91

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/num.bend as N
import bend-collections-laws-crypto@1.0.0.0/src/math/natural.bend as M

91def lift_nat(r: Result<&2, &2, M.MathError, Nat>) -> Result<&2, &2, N.NumError, Nat>:
92  match r:
93    case Done{x}:
94      Done{x}
95    case Fail{e}:
96      Fail{err(e)}