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