diff options
| author | Nicolas Pouillard <np@nicolaspouillard.fr> | 2006-07-10 20:34:14 +0000 |
|---|---|---|
| committer | Nicolas Pouillard <np@nicolaspouillard.fr> | 2006-07-10 20:34:14 +0000 |
| commit | 1fae2f793fe8eabeb35e912556ece155d722672a (patch) | |
| tree | 450174c7c5e62bcf06c3d3a21942e9e7099aaeff /camlp4/Camlp4Profiler.mli | |
| parent | fe59cd2ceda590dd43005f9ef28039e42b6835e2 (diff) | |
Add Camlp4Profiler.ml{,i} a small counting module
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/Camlp4Profiler.mli')
| -rw-r--r-- | camlp4/Camlp4Profiler.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/camlp4/Camlp4Profiler.mli b/camlp4/Camlp4Profiler.mli new file mode 100644 index 000000000..0703ac03c --- /dev/null +++ b/camlp4/Camlp4Profiler.mli @@ -0,0 +1,3 @@ +value count : string -> unit; + +value load : in_channel -> list (string * int); |