sig
  type ('perm, 'state) t = ('perm, 'state) Update_queue.t
  val create : ?init:'state -> unit -> ('a, 'state) t
  val init : (Core.Std.read_write, 'state) t -> 'state -> unit
  val enqueue : (Core.Std.read_write, 'state) t -> ('state -> 'state) -> unit
  val watch : ('a, 'state) t -> f:('state -> unit) -> unit
  val map :
    ('a, 'state1) t ->
    f:('state1 -> 'state2) -> (Core.Std.read_only, 'state2) t
  val read_only : ('a, 'state) t -> (Core.Std.read_only, 'state) t
end