def TS

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

import Base
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

43def TS(+s: Bool, +n: Nat) -> Result<&2, &2, NE.NumError, Nat>:
44  SF.pick(Result<&2, &2, NE.NumError, Nat>, Bool.and(s, Bool.not(Nat.is_eq(n, 0n))), Fail{NE.Overflow{}}, Done{n})