Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. document that char compare uses ASCII order (#14090) (details)
Commit c061359af8c249a4a5b3242cdc5524004492749c by noreply
document that char compare uses ASCII order (#14090)

Co-authored-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
The file was modifiedstdlib/char.mli (diff)