diff options
Diffstat (limited to 'lib/cProfile.mli')
| -rw-r--r-- | lib/cProfile.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/cProfile.mli b/lib/cProfile.mli index 6f8639226d..50dd6bec34 100644 --- a/lib/cProfile.mli +++ b/lib/cProfile.mli @@ -111,11 +111,11 @@ val profile8 : (** Some utilities to compute the logical and physical sizes and depth of ML objects *) -(** Print logical size (in words) and depth of its argument +(** Print logical size (in words) and depth of its argument This function does not disturb the heap *) val print_logical_stats : 'a -> unit -(** Print physical size, logical size (in words) and depth of its argument +(** Print physical size, logical size (in words) and depth of its argument This function allocates itself a lot (the same order of magnitude as the physical size of its argument) *) val print_stats : 'a -> unit |