source/xi_lib/hashset.ml


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

type 'a t = ('a, unit) Hashtbl.t 

let create () : 'a t = Hashtbl.create 101

let clear = Hashtbl.clear

let add t x = Hashtbl.replace t x ()

let mem = Hashtbl.mem

let to_seq t = Hashtbl.to_seq_keys t

let length t = Hashtbl.length t

let remove t v = Hashtbl.remove t v

let iter f t =
  let g k _ = f k in
  Hashtbl.iter g t


let fold f t acc =
  let g k () = f k in 
  Hashtbl.fold g t acc

let of_seq seq : 'a t =
  let result = create () in
  Seq.iter (add result) seq;
  result