def inf
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
89def inf(s: Bool) -> F64:
90 Bits{0, U32.add(2146435072, sgn(s))}
Uses (4)
Used by (13)
- bend-collections-laws-math@1.0.0.0/src/math/f64:inf_or_nan
- 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/f64round:inf_v
- bend-collections-laws-math@1.0.0.0/src/math/f64:rp_over
- …