type 'a printer
= Format.formatter ‑> 'a ‑> unit
type 'a ord
= 'a ‑> 'a ‑> int
type 'a eq
= 'a ‑> 'a ‑> bool
type 'a sequence
= ('a ‑> unit) ‑> unit
type 'a t
= 'a Pervasives.ref
val map : ('a ‑> 'b) ‑> 'a t ‑> 'b t
Transform the value.
val create : 'a ‑> 'a t
Alias to ref.
val iter : ('a ‑> unit) ‑> 'a t ‑> unit
Call the function on the content of the reference.
val update : ('a ‑> 'a) ‑> 'a t ‑> unit
Update the reference's content with the given function.
val incr_then_get : int t ‑> int
incr_then_get r increments r and returns its new value, think ++r.
incr_then_get r
r
++r
val get_then_incr : int t ‑> int
get_then_incr r increments r and returns its old value, think r++.
get_then_incr r
r++
val swap : 'a t ‑> 'a t ‑> unit
swap t1 t2 puts !t2 in t1 and !t1 in t2.
swap t1 t2
!t2
t1
!t1
t2
val compare : 'a ord ‑> 'a t ord
val equal : 'a eq ‑> 'a t eq
val to_list : 'a t ‑> 'a list
val to_seq : 'a t ‑> 'a sequence
val pp : 'a printer ‑> 'a t printer