package coq-core
Install
Dune Dependency
Authors
Maintainers
Sources
md5=13d2793fc6413aac5168822313e4864e
sha512=ec8379df34ba6e72bcf0218c66fef248b0e4c5c436fb3f2d7dd83a2c5f349dd0874a67484fcf9c0df3e5d5937d7ae2b2a79274725595b4b0065a381f70769b42
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.