package irmin-pack

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type field =
  1. | Inode_add
  2. | Inode_remove
  3. | Inode_of_seq
  4. | Inode_of_raw
  5. | Inode_rec_add
  6. | Inode_rec_remove
  7. | Inode_to_binv
  8. | Inode_decode_bin
  9. | Inode_encode_bin
type t = private {
  1. mutable inode_add : int;
  2. mutable inode_remove : int;
  3. mutable inode_of_seq : int;
  4. mutable inode_of_raw : int;
  5. mutable inode_rec_add : int;
  6. mutable inode_rec_remove : int;
  7. mutable inode_to_binv : int;
  8. mutable inode_decode_bin : int;
  9. mutable inode_encode_bin : int;
}

The type for stats for a store S.

  • inode_add + inode_remove + inode_of_seq + inode_of_raw is the total number of Inode.Val.t built;
  • inode_rec_add + inode_rec_remove are witnesses of the quantity of work that is done modifying inodes;
  • inode_to_binv is the number of Inode.Bin.v built;
  • inode_encode_bin is the number of Bin to Compress conversions;
  • inode_decode_bin is the number of Compress to Bin conversions;
val t : t Irmin.Type.t
type stat
val export : stat -> t