Ref.And_value
type t =
| T : 'a ref * 'a -> t
val set : t -> unit
val sets : t list -> unit
val snapshot : t -> t