Module Flx_cil_trace


module Flx_cil_trace: sig .. end

val traceSubsystems : string list Pervasives.ref
val traceAddSys : string -> unit
val traceActive : string -> bool
val traceAddMulti : string -> unit
val traceIndentLevel : int Pervasives.ref
val traceIndent : string -> unit
val traceOutdent : string -> unit
val trace : string -> Flx_cil_pretty.doc -> unit
val tracei : string -> Flx_cil_pretty.doc -> unit
val traceu : string -> Flx_cil_pretty.doc -> unit