<div dir="ltr"><div><div><div><div>I do know how verbosity levels work.<br><br></div>According to <br><a href="https://github.com/agda/agda/blob/9ff3310f27a006675656d453d3338df233e4ca78/CHANGELOG.md#reflection">https://github.com/agda/agda/blob/9ff3310f27a006675656d453d3338df233e4ca78/CHANGELOG.md#reflection</a><br><br></div>the String at debugPrint seems to act like a filter.<br><br></div>I have tested it with multiple values and it does not seem to filter the logs at the *Agda debug* buffer.<br><br></div>Am I misinterpreting something?<br><br><br></div>