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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
(** {1 References}
@since 0.9 *)
type 'a printer = Format.formatter -> 'a -> unit
type 'a ord = 'a -> 'a -> int
type 'a eq = 'a -> 'a -> bool
type 'a iter = ('a -> unit) -> unit
type 'a t = 'a ref
let create x = ref x
let map f r = ref (f !r)
let iter f r = f !r
let update f r = r := f !r
let incr_then_get r =
incr r;
!r
let get_then_incr r =
let x = !r in
incr r;
x
let compare f r1 r2 = f !r1 !r2
let equal f r1 r2 = f !r1 !r2
let swap a b =
let x = !a in
a := !b;
b := x
let protect r x f =
let old = !r in
r := x;
try
let res = f () in
r := old;
res
with e ->
r := old;
raise e
let to_list r = [ !r ]
let to_iter r yield = yield !r
let pp pp_x out r = pp_x out !r