current_trace : string -> int
STRUCTURE
Feedback
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-14