dune_set_minimal_debug_levelΒΆ

This command is documented in DuneStreams.

See dune_set_minimal_debug_level() in the module page DuneStreams.