Provide .mli files for Nfa, hashset and charset