package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 -> Pretty.doc -> unit
val tracei : string -> Pretty.doc -> unit
val traceu : string -> Pretty.doc -> unit