1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
module type Hashtbl = sig
module Key : sig type t val equal : t -> t -> bool val hash : t -> int end
module H : module type of Hashtbl.Make(Key)
type value
val value : value H.t
end
type ('input, 'output) t =
(module Hashtbl with type value = 'output and type Key.t = 'input)
module type Key = sig type t val equal : t -> t -> bool val hash : t -> int end
let create (type key) (type value)
(module Key : Key with type t = key) size : (key, value) t =
(module struct
module Key = Key
module H = Hashtbl.Make(Key)
type nonrec value = value
let value = H.create size
end)
let find (type input) (type output) ((module T) : (input, output) t) x =
T.H.find T.value x
let add (type input) (type output) ((module T) : (input, output) t) k v =
T.H.add T.value k v
let clear (type input) (type output) ((module T) : (input, output) t) =
T.H.clear T.value