Previous  Up  Next

Module Trace


module Trace: sig  end

type level = string 
module Levels: sig  end
val levels : Levels.t Pervasives.ref
val reset : unit -> unit
Parameters:
() : unit
 
val add : Levels.elt -> unit
Parameters:
l : Levels.elt
 
val remove : Levels.elt -> unit
Parameters:
l : Levels.elt
 
val get : unit -> Levels.elt list
Parameters:
() : unit
 
val is_active : Levels.elt -> bool
Parameters:
l : Levels.elt
 
val call : Levels.elt -> string -> 'a -> (Format.formatter -> 'a -> 'b) -> unit
Parameters:
level : Levels.elt
op : string
args : 'a
pp : Format.formatter -> 'a -> 'b
 
val exit : Levels.elt -> string -> 'a -> (Format.formatter -> 'a -> 'b) -> unit
Parameters:
level : Levels.elt
op : string
res : 'a
pp : Format.formatter -> 'a -> 'b
 
val msg : Levels.elt -> string -> 'a -> (Format.formatter -> 'a -> 'b) -> unit
Parameters:
level : Levels.elt
op : string
args : 'a
pp : Format.formatter -> 'a -> 'b
 
val whitespace : Levels.elt -> int -> unit
Parameters:
level : Levels.elt
n : int
 
val indent : int Pervasives.ref
val func : Levels.elt ->
       string ->
       (Format.formatter -> 'a -> 'b) ->
       (Format.formatter -> 'c -> 'd) -> ('a -> 'c) -> 'a -> 'c
Parameters:
level : Levels.elt
name : string
pp : Format.formatter -> 'a -> 'b
qq : Format.formatter -> 'c -> 'd
f : 'a -> 'c
a : 'a
 
val proc : Levels.elt ->
       string -> (Format.formatter -> 'a -> 'b) -> ('a -> unit) -> 'a -> unit
Parameters:
level : Levels.elt