diff options
Diffstat (limited to 'lib/util.ml')
| -rw-r--r-- | lib/util.ml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/lib/util.ml b/lib/util.ml index e7cf325640..b5611c50b1 100644 --- a/lib/util.ml +++ b/lib/util.ml @@ -551,8 +551,14 @@ module Size = struct traverse (repr o); !count - let size_b o = (size_w o) * Sys.word_size lsr 3 + let size_b o = (size_w o) * (Sys.word_size / 8) + + let size_kb o = (size_w o) / (8192 / Sys.word_size) end +let size_w = Size.size_w let size_b = Size.size_b +let size_kb = Size.size_kb + + |