Module Tjr_profile

include Tjr_profile__.Types
type wp = int

Waypoints

type prof_ops = {
mark : int -> unit;
get_marks : unit -> (int * int) list;
}

Profiler ops

type interval = {
p1 : int;
p2 : int;
delta : int;
}

An interval between two waypoints

module P = Tjr_profile__.Waypoints
val mk_profiler : now:(unit -> int) -> Tjr_profile__.Core.prof_ops
val print_profile_summary : (int * int) list -> unit
val get_mark : name:string -> int -> unit
val get_profiler : name:string -> Tjr_profile__.Core.prof_ops option
module Profile_manager : sig ... end

Provide support for accessing profilers by name