Module Types.Join

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