----------------------------------------------------------------------
traces                                                      (Feedback)
----------------------------------------------------------------------
traces : unit -> {name : string, max : int, aliases : string list,
                  trace_level : int, default : int} list

SYNOPSIS
Returns a list of registered tracing variables.

KEYWORDS
Tracing.

DESCRIBE
The function {traces} is part of the interface to a collection of
variables that control the verboseness of various tools within the
system. Tracing can be useful both when debugging proofs (with the
simplifier for example), and also as a guide to how an automatic proof
is proceeding (with {mesonLib} for example).

FAILURE
Never fails.

SEEALSO
Feedback.register_trace, Feedback.set_trace, Feedback.reset_trace,
Feedback.reset_traces, Feedback.trace.

----------------------------------------------------------------------