Skip to content

Decide on modules to be either public or private for proper docs

Right now all modules are declared as private, as they are not explicitly declared public. When creating the documentation using dune build @doc, only modules declared as public will be linked in the according index file, so only deciding on public modules will make proper doc creation possible.