Functor Value_perf.Imperative_callstack_trie

module Imperative_callstack_trie: 
functor (M : sig
type t 
val default : unit -> t
end) -> sig .. end
Parameters:
M : sig type t val default:unit -> t end

module Hashtbl: Hashtbl.Make(Value_perf.Call_site)
type elt = {
   mutable self : M.t;
   subtree : t;
}
type t = elt
Hashtbl.t
val empty : unit -> 'a Hashtbl.t
val reset : 'a Hashtbl.t -> unit
val create_node : M.t -> elt
val find_subtree : elt
Hashtbl.t ->
Hashtbl.key list ->
elt
val find_subtree : elt
Hashtbl.t ->
Hashtbl.key list ->
elt
val find : elt
Hashtbl.t ->
Hashtbl.key list -> M.t
val _add : elt
Hashtbl.t ->
Hashtbl.key list -> M.t -> unit
val _update : elt
Hashtbl.t ->
Hashtbl.key list -> (M.t -> M.t) -> unit