dune_mark_module_as_required_dependencyΒΆ

This command is documented in DuneProject.

See dune_mark_module_as_required_dependency() in the module page DuneProject.