reset_traces : unit -> unit
STRUCTURE
SYNOPSIS
Resets all registered tracing variables to their default values.
FAILURE
Fails if a set function associated with a "functional" trace (see register_ftrace) fails.
SEEALSO
HOL  Kananaskis-14