stats.mli 655 Bytes
Newer Older
1 2 3
type verbosity = Quiet | Summary | Details
val set_verbosity: verbosity -> unit

4 5
val gettimeofday: (unit -> float) ref

6 7 8
val register: verbosity -> (Format.formatter -> unit) -> unit
val dump: Format.formatter -> unit

9 10 11 12 13
module Counter: sig
  type t
    
  val create: string -> t
  val incr: t -> unit
14
  val add: t -> int -> unit
15 16 17
  val print: Format.formatter -> t -> unit
end

18 19 20 21 22
module Timer: sig
  type t
    
  val create: string -> t
  val start: t -> unit
23
  val stop: t -> 'a -> 'a
24 25
  val print: Format.formatter -> t -> unit
end
26 27 28 29 30 31 32


module InOut: sig
  val enter: string -> unit
  val leave: string -> unit
  val wrap: string -> ('a -> 'b) -> 'a -> 'b
end