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