Module Incremental_kernel__Types.Bind

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;
}