This issue is for discussion of proposal [2017-001 (Millisecond sleep)](https://github.com/SMLFamily/BasisLibrary/wiki/2017-001-Millisecond-sleep).
This issue is for discussion of proposal 2017-001 (Millisecond sleep).