diff options
Diffstat (limited to 'lib/profile.mli')
| -rw-r--r-- | lib/profile.mli | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/lib/profile.mli b/lib/profile.mli index a67622fd2..812fd8b1e 100644 --- a/lib/profile.mli +++ b/lib/profile.mli @@ -113,12 +113,3 @@ val print_logical_stats : 'a -> unit This function allocates itself a lot (the same order of magnitude as the physical size of its argument) *) val print_stats : 'a -> unit - -(** Return logical size (first for strings, then for not strings), - (in words) and depth of its argument - This function allocates itself a lot *) -val obj_stats : 'a -> int * int * int - -(** Return physical size of its argument (string part and rest) - This function allocates itself a lot *) -val obj_shared_size : 'a -> int * int |