def f32r

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64conv.bend:195

import Base
import bend-collections-laws-math@1.0.0.0/spec/lib/common.bend as C
import bend-collections-laws-math@1.0.0.0/spec/math/f64.bend as SF
import bend-collections-laws-math@1.0.0.0/src/math/num.bend as NE

195def f32r(r: Result<&2, &2, NE.NumError, Nat>) -> Result<&2, &2, NE.NumError, Nat>:
196  match r:
197    case Fail{e}:
198      Fail{e}
199    case Done{+n}:
200      SF.pick(Result<&2, &2, NE.NumError, Nat>, C.fits(32n, n), Done{n}, Fail{NE.Overflow{}})