type 'a t
=
{
mutable value : 'a;
mutable value_set_during_stabilization : 'a Incremental_kernel__.Uopt.t;
mutable set_at : Incremental_kernel__.Stabilization_num.t;
watch : 'a Node.t;
}