module Ref:sig..end
equal t1 t2 returns true if t1 and t2 are the same ref cell.type'at ='a Pervasives.ref= {
|
mutable contents : |
val create : 'a -> 'a tval (!) : 'a t -> 'aval (:=) : 'a t -> 'a -> unitval equal : 'a t -> 'a t -> boolequal t1 t2 returns true if t1 and t2 are the same ref cell.val swap : 'a t -> 'a t -> unitswap t1 t2 swaps the values in t1 and t2.val replace : 'a t -> ('a -> 'a) -> unitreplace t f is t := f !t