def eq
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
581def eq(+x: F64, +y: F64) -> Bool:
582 eq_z(x, y, unordered(x, y), zeros(x, y))
Uses (5)
Used by (6)
- bend-collections-laws-math@1.0.0.0/src/math/f64:ic_tol
- bend-collections-laws-math@1.0.0.0/src/math/f64:na_nan
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64close:itol
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64next:eqc
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64next:na_c
- …