type ('a, 'b) t
=
{
main : 'b Node.t; |
mutable f : 'a ‑> 'b Node.t; |
lhs : 'a Node.t; |
lhs_change : unit Node.t; |
mutable rhs : 'b Node.t Incremental_kernel__.Uopt.t; |
mutable rhs_scope : Scope.t; |
mutable all_nodes_created_on_rhs : Packed_node.t Incremental_kernel__.Uopt.t; |
}