package coq-core
Install
Dune Dependency
Authors
Maintainers
Sources
md5=64b49dbc3205477bd7517642c0b9cbb6
sha512=02fb5b4fb575af79e092492cbec6dc0d15a1d74a07f827f657a72d4e6066532630e5a6d15be4acdb73314bd40b9a321f9ea0584e0ccfe51fd3a56353bd30db9b
doc/coq-core.clib/CObj/index.html
Module CObj
Source
Physical size of an ocaml value.
These functions explore objects recursively and may allocate a lot.
Physical size of an object in words.
Same as size
in bytes.
Same as size
in kilobytes.
Physical size of an ocaml value with sharing.
This time, all the size of objects are computed with respect to a larger object containing them all, and we only count the new blocks not already seen earlier in the left-to-right visit of the englobing object.
Provides the global object in which we'll search shared sizes
Shared size (in word) of an object with respect to the global object given by the last register_shared_size
.
Same, with an object indicated by its occurrence in the global object. The very same object could have a zero size or not, depending of the occurrence we're considering in the englobing object. For speaking of occurrences, we use an int list
for a path of field indexes (leftmost = deepest block, rightmost = top block of the global object).
Logical size of an OCaml value.
Return the (logical) value size, the string size, and the maximum depth of the object. This loops on cyclic structures.
Total size of the allocated ocaml heap.
Heap size, in words.
Heap size, in kilobytes.