3 ms·

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

• mgaunard 4y ago
  Only for the public API boundary.