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

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

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

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


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