sig
  type 'a uref = 'a BatUref.uref
  type 'a t = 'a uref
  val uref : 'a -> 'a uref
  val uget : 'a uref -> 'a
  val uset : 'a uref -> 'a -> unit
  val unite : ?sel:('a -> 'a -> 'a) -> 'a uref -> 'a uref -> unit
  val equal : 'a uref -> 'a uref -> bool
  val print :
    ('a BatInnerIO.output -> 'b -> unit) ->
    'a BatInnerIO.output -> 'b uref -> unit
  val uref_printer : 'a BatValue_printer.t -> 'a uref BatValue_printer.t
  val t_printer : 'a BatValue_printer.t -> 'a t BatValue_printer.t
end