package coq
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587
doc/coq-core.clib/CObj/index.html
Module CObjSource
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.