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