def zero
import bend-collections-laws-math@1.0.0.0/spec/math/f64.bend as F64import Base
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F
120def zero(+s: Bool) -> F.F64:
121 pick(F.F64, s, F.Bits{0, 2147483648}, F.Bits{0, 0})
Uses (3)
Used by (44)
- bend-collections-laws-math@1.0.0.0/spec/math/f64:round
- bend-collections-laws-math@1.0.0.0/spec/math/f64:sub_mag
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64tools:zero_v
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64addc:r1926
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64divc:dspec
- …