Hi @jbe
This matter is tentatively addressed in the new (draft) tutorial Libraries With Dune, which I have just announced. As @K_N noticed, this wasn’t very well documented.
Hi @jbe
This matter is tentatively addressed in the new (draft) tutorial Libraries With Dune, which I have just announced. As @K_N noticed, this wasn’t very well documented.