type 'a t
=
{
main : 'a Node.t;
lhs : 'a Node.t Node.t;
lhs_change : unit Node.t;
mutable rhs : 'a Node.t Incremental_kernel__.Uopt.t;
}