Macro verbosity_log 

macro_rules! verbosity_log {
    ($level:expr, $($arg:tt)*) => { ... };
}

Emit a formatted verbosity message through the global diagnostics backend.

This macro is a convenience wrapper over emit_verbosity_line. It accepts a Verbosity level plus format!-style arguments.

Example

use copp::diag::Verbosity;

copp::verbosity_log!(Verbosity::Summary, "solver finished in {:.3} ms", 12.34);