dune_default_include_directoriesΒΆ

This command is documented in DuneDefaultIncludeDirectories.

See dune_default_include_directories() in the module page DuneDefaultIncludeDirectories.