package plebeia

  1. Overview
  2. Docs
package plebeia
Legend:
Library
Module
Module type
Parameter
Class
Class type

3 Helper

3 Helper

type t = {
  1. mutable loaded_nodes : int;
  2. mutable written_leaves : int;
  3. mutable written_empty_buds : int;
  4. mutable written_buds : int;
  5. mutable written_internals : int;
  6. mutable written_extenders : int;
  7. mutable written_big_extenders : int;
  8. mutable written_leaf_sizes : (int, int) Hashtbl.t;
  9. mutable committed_leaf_sizes : (int, int) Hashtbl.t;
}
val create : unit -> t
val pp : Format.formatter -> t -> unit
val incr_loaded_nodes : t -> unit
val incr_written_leaves : t -> unit
val incr_written_empty_buds : t -> unit
val incr_written_buds : t -> unit
val incr_written_internals : t -> unit
val incr_written_extenders : t -> unit
val incr_written_big_extenders : t -> unit
val incr_written_leaf_sizes : t -> int -> unit
val incr_committed_leaf_sizes : t -> int -> unit