Changes

Summary

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 modified	stdlib/char.mli (diff)