def zero
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
92def zero(s: Bool) -> F64:
93 Bits{0, sgn(s)}
Uses (3)
Used by (42)
- bend-collections-laws-math@1.0.0.0/src/math/f64:f64_op
- bend-collections-laws-math@1.0.0.0/src/math/random/rand:f53_z
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64divc:dimpl
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64mulc:mimpl
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64tools:zero_v
- …