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