F64.nextafter: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/math/f64.bend as F64
Lines 941-943 of bend-collections@1.0.0.0/src/math/f64.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/math/f64.bend&start_line=941&end_line=943

import Base

# the next double after x toward y (IEEE nextAfter; y when x == y)
def nextafter(+x: F64, +y: F64) -> F64:
  na_nan(x, y, unordered(x, y))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/f64.bend&name=F64
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/f64.bend&name=na_nan
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/math/f64.bend&name=unordered