Module Tezos_stdlib.MemorySource

Sourcetype proc_statm = {
  1. page_size : int;
  2. size : int64;
  3. resident : int64;
  4. shared : int64;
  5. text : int64;
  6. lib : int64;
  7. data : int64;
  8. dt : int64;
}
Sourcetype ps_stats = {
  1. page_size : int;
  2. mem : float;
  3. resident : int64;
}
Sourcetype mem_stats =
  1. | Statm of proc_statm
  2. | Ps of ps_stats