As far as I can tell, dune seems quite happy with .mli-only modules as soon as we take care to list them in the (modules_without_implementation ...) section of the executable or library stanza (and if we forget to do so, dune reminds us to do it anyway).