Opened this issue 6 years ago · 0 comments
Make more .mli with more doc, especially in the high level modules.