Module Core_profiler_offline_tool.Reader.Header

module Item : sig ... end

A Header.Item.t is anything that is uniquely identified by a Probe_id.t.

type t = (Item.t, Core.read) Id_table.t

val find_exn : t ‑> Core_profiler.Probe_id.t ‑> Item.t

val find_single_exn : t ‑> Core_profiler.Probe_id.t ‑> Item.single

val find_group_exn : t ‑> Core_profiler.Probe_id.t ‑> Item.group

val find_group_point_exn : t ‑> Core_profiler.Probe_id.t ‑> Item.group_point

val get_parent_id_exn : t ‑> Core_profiler.Probe_id.t ‑> Core_profiler.Probe_id.t

Get a group point's parent

val get_parent_exn : t ‑> Core_profiler.Probe_id.t ‑> Item.group

val get_name_exn : t ‑> ?with_group:string ‑> Core_profiler.Probe_id.t ‑> string

If add_group is specified and the id refers to a group point, group_name ^ add_group ^ group_point_name is returned

val get_spec_exn : t ‑> Core_profiler.Probe_id.t ‑> Core_profiler.Probe_type.t

val get_units_exn : t ‑> Core_profiler.Probe_id.t ‑> Core_profiler.Std_offline.Profiler_units.t

val create_table : t ‑> ?singles:bool ‑> ?groups:bool ‑> ?group_points:bool ‑> ?timers:bool ‑> ?probes:bool ‑> 'a ‑> ('a, _) Id_table.t

Conditions are ANDed, and default to true