Issue #221 fixes a misplaced (**/**) directive in batString.mli, but I suspect this is happening in other places too. I believe batInt32.mli and batInt64.mli are affected also. I looked through several other modules in an attempt to fix all cases, but realized I don't know several modules well enough to confidently start moving code around occurrences of (**/**).
Can someone else please grep for (**/**) and try to fix this. It might be nice to have a policy of putting all hidden elements at the very end of an mli file. But be careful, some hidden elements are at the end of a sub-module, and due to lack of indentation, this is not always so easy to see. You might accidentally be moving an element out of a sub-module, which is not good.
try to fix some missing (**/**) directives (#222)
Closing unless someone finds another unmatched (/)