This command is documented in DuneUtilities.
See dune_module_to_macro() in the module page DuneUtilities.
dune_module_to_macro()
dune_module_path
dune_module_to_uppercase