- SYNOPSIS
-
Make METIS's output more verbose and detailed.
- DESCRIPTION
-
When this reference variable is set to true, it makes any applications of
METIS, METIS_TAC and related rules and tactics provide more verbose output
about their working.
- FAILURE CONDITIONS
-
Not applicable.
- SEE ALSO
-
meson_chatty.ml