Module Term.Hterm_nt_na

module Hterm_nt_na: Exthtbl.S  with type key = term

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