Module Plebeia.StatSource
3 Helper
3 Helper
Sourcetype t = {mutable loaded_nodes : int;mutable written_leaves : int;mutable written_empty_buds : int;mutable written_buds : int;mutable written_internals : int;mutable written_extenders : int;mutable written_big_extenders : int;mutable written_links : int;mutable written_leaf_sizes : (int, int) Hashtbl.t;mutable committed_leaf_sizes : (int, int) Hashtbl.t;
} Sourceval incr_loaded_nodes : t -> unit Sourceval incr_written_leaves : t -> unit Sourceval incr_written_empty_buds : t -> unit Sourceval incr_written_buds : t -> unit Sourceval incr_written_internals : t -> unit Sourceval incr_written_extenders : t -> unit Sourceval incr_written_big_extenders : t -> unit Sourceval incr_written_links : t -> unit Sourceval incr_written_leaf_sizes : t -> int -> unit Sourceval incr_committed_leaf_sizes : t -> int -> unit