Module GoblintCil.Trace

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