<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p>Is there a list of verbosity options? E.g. "treeless.opt.aspat",
      "tc.size.solve", etc. Preferably with some sort of description? <br>
    </p>
    <p>If not, what verbosity options would be useful in analyzing
      Agda's approach to constraint solving and instance resolution?
      I.e., the sort of thing that might be useful in creating small
      test cases for issues like <a moz-do-not-send="true"
        href="https://github.com/agda/agda/issues/2713">#2713</a> or <a
        moz-do-not-send="true"
        href="https://github.com/agda/agda/issues/2709">#2709</a>. <br>
    </p>
  </body>
</html>