l4/pkg/ocaml/ocaml/contrib/tools/profiling.mli

   1 (***********************************************************************)
   2 (*                                                                     *)
   3 (*                           Objective Caml                            *)
   4 (*                                                                     *)
   5 (*      Damien Doligez and Francois Rouaix, INRIA Rocquencourt         *)
   6 (*   Ported to Objective Caml by John Malecki and Xavier Leroy         *)
   7 (*                                                                     *)
   8 (*  Copyright 1996 Institut National de Recherche en Informatique et   *)
   9 (*  en Automatique.  All rights reserved.  This file is distributed    *)
  10 (*  under the terms of the GNU Library General Public License, with    *)
  11 (*  the special exception on linking described in file ../LICENSE.     *)
  12 (*                                                                     *)
  13 (***********************************************************************)
  14
  15 (* $Id: profiling.mli 6824 2005-03-24 17:20:54Z doligez $ *)
  16
  17 (* Run-time library for profiled programs *)
  18
  19 val counters: (string * (string * int array)) list ref;;
  20 val incr: int array -> int -> unit;;