def inf
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
117def inf(+s: Bool) -> F.F64:
118 pick(F.F64, s, F.Bits{0, 4293918720}, F.Bits{0, 2146435072})
Uses (3)
Used by (15)
- bend-collections-laws-math@1.0.0.0/spec/math/f64:pack_e
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64round:inf_v
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64divc:dspec
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64mulc:mspec
- bend-collections-laws-math@1.0.0.0/proofs/math/random/fround:pkg_c
- …