def nextafter
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
941# the next double after x toward y (IEEE nextAfter; y when x == y)
942def nextafter(+x: F64, +y: F64) -> F64:
943 na_nan(x, y, unordered(x, y))
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
941# the next double after x toward y (IEEE nextAfter; y when x == y)
942def nextafter(+x: F64, +y: F64) -> F64:
943 na_nan(x, y, unordered(x, y))