package coq-core
Install
Dune Dependency
Authors
Maintainers
Sources
md5=66e57ea55275903bef74d5bf36fbe0f1
sha512=1a7eac6e2f58724a3f9d68bbb321e4cfe963ba1a5551b9b011db4b3f559c79be433d810ff262593d753770ee41ea68fbd6a60daa1e2319ea00dff64c8851d70b
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.