dune_module_to_uppercaseΒΆ

This command is documented in DuneUtilities.

See dune_module_to_uppercase() in the module page DuneUtilities.