Module Session_itp.Htn

module Htn: Exthtbl.S  with type key = transID

include Hashtbl.S

val find_def : 'a t -> 'a -> key -> 'a

return the first binding or the given value if none found

val find_opt : 'a t -> key -> 'a option

return the first binding or None if none found

val find_exn : 'a t -> exn -> key -> 'a

return the first binding or raise the given exception if none found

val map : (key -> 'a -> 'b) -> 'a t -> 'b t

a shortcut less efficient than possible

val memo : int -> (key -> 'a) -> key -> 'a

convenience function, memoize a function

val is_empty : 'a t -> bool

test if the hashtbl is empty