`sig
type 'a t = 'a Pervasives.ref
external ref : 'a -> 'a Pervasives.ref = "%makemutable"
external ( ! ) : 'a Pervasives.ref -> 'a = "%field0"
external ( := ) : 'a Pervasives.ref -> 'a -> unit = "%setfield0"
external set : 'a Pervasives.ref -> 'a -> unit = "%setfield0"
external get : 'a Pervasives.ref -> 'a = "%field0"
val copy : 'a Pervasives.ref -> 'a Pervasives.ref
val pre : 'a Pervasives.ref -> ('a -> 'a) -> 'a
val post : 'a Pervasives.ref -> ('a -> 'a) -> 'a
val swap : 'a Pervasives.ref -> 'a Pervasives.ref -> unit
val post_incr : int Pervasives.ref -> int
val post_decr : int Pervasives.ref -> int
val pre_incr : int Pervasives.ref -> int
val pre_decr : int Pervasives.ref -> int
val protect : 'a Pervasives.ref -> 'a -> (unit -> 'b) -> 'b
val toggle : bool Pervasives.ref -> unit
val oset : 'a option Pervasives.ref -> 'a -> unit
val oget_exn : 'a option Pervasives.ref -> 'a
val print :
('b BatInnerIO.output -> 'a -> unit) ->
'b BatInnerIO.output -> 'a BatRef.t -> unit
val compare : 'a BatOrd.comp -> 'a Pervasives.ref BatOrd.comp
val ord : 'a BatOrd.ord -> 'a Pervasives.ref BatOrd.ord
val eq : 'a BatOrd.eq -> 'a Pervasives.ref BatOrd.eq
end`