Writing `mli` files is pretty much idiomatic or at the very least, not unusual.