current_trace : string -> int

SYNOPSIS
Returns the current value of the tracing variable specified.

FAILURE
Fails if the name given is not associated with a registered tracing variable.

SEEALSO  register_trace,   reset_trace,   reset_traces,   trace,   traces

HOL  Kananaskis 0