def one
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
95def one() -> F64:
96 Bits{0, 1072693248}
Uses (1)
Used by (5)
- bend-collections-laws-math@1.0.0.0/src/math/f64:f64_op
- bend-collections-laws-math@1.0.0.0/spec/math/random:Float64.lt_one
- bend-collections-laws-math@1.0.0.0/proofs/math/random/float:lt_c
- bend-collections-laws-math@1.0.0.0/proofs/math/random/float:lt_s_case
- bend-collections-laws-math@1.0.0.0/proofs/math/random/float:lt_z_case