Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Fix comment about NaN propagation (#9536) (commit: c920ea1) (details)
Commit c920ea142b9f9cc0c0eaca6903f0e782da1036d1 by noreply
Fix comment about NaN propagation (#9536)

Fix documentation comment about NaN propagation

Closes: #7891

Co-authored-by: David Allsopp <david.allsopp@metastack.com>
 (commit: c920ea1)
The file was modifiedstdlib/float.mli (diff)
The file was modifiedstdlib/stdlib.mli (diff)