`type 'a t````=`

`|` `Array_fold : (_, 'a) Array_fold.t ‑> 'a t`
`|` `At : At.t ‑> Incremental_kernel__.Before_or_after.t t`
`|` `At_intervals : At_intervals.t ‑> unit t`
`|` `Bind_lhs_change : (_, _) Bind.t ‑> unit t`
`|` `Bind_main : (_, 'a) Bind.t ‑> 'a t`
`|` `Const of 'a`
`|` `Expert of 'a Expert.t`
`|` `Freeze of 'a Freeze.t`
`|` `If_test_change : _ If_then_else.t ‑> unit t`
`|` `If_then_else of 'a If_then_else.t`
`|` `Invalid`
`|` `Join_lhs_change : _ Join.t ‑> unit t`
`|` `Join_main of 'a Join.t`
`|` `Map : ('a1 ‑> 'a) * 'a1 Node.t ‑> 'a t`
`|` `Snapshot of 'a Snapshot.t`
`|` `Step_function of 'a Step_function.t`
`|` `Uninitialized`
`|` `Unordered_array_fold : (_, 'a) Unordered_array_fold.t ‑> 'a t`
`|` `Var of 'a Var.t`
`|` `Map2 : ('a1 ‑> 'a2 ‑> 'a) * 'a1 Node.t * 'a2 Node.t ‑> 'a t`
`|` `Map3 : ('a1 ‑> 'a2 ‑> 'a3 ‑> 'a) * 'a1 Node.t * 'a2 Node.t * 'a3 Node.t ‑> 'a t`
`|` `Map4 : ('a1 ‑> 'a2 ‑> 'a3 ‑> 'a4 ‑> 'a) * 'a1 Node.t * 'a2 Node.t * 'a3 Node.t * 'a4 Node.t ‑> 'a t`
`|` `Map5 : ('a1 ‑> 'a2 ‑> 'a3 ‑> 'a4 ‑> 'a5 ‑> 'a) * 'a1 Node.t * 'a2 Node.t * 'a3 Node.t * 'a4 Node.t * 'a5 Node.t ‑> 'a t`
`|` `Map6 : ('a1 ‑> 'a2 ‑> 'a3 ‑> 'a4 ‑> 'a5 ‑> 'a6 ‑> 'a) * 'a1 Node.t * 'a2 Node.t * 'a3 Node.t * 'a4 Node.t * 'a5 Node.t * 'a6 Node.t ‑> 'a t`
`|` `Map7 : ('a1 ‑> 'a2 ‑> 'a3 ‑> 'a4 ‑> 'a5 ‑> 'a6 ‑> 'a7 ‑> 'a) * 'a1 Node.t * 'a2 Node.t * 'a3 Node.t * 'a4 Node.t * 'a5 Node.t * 'a6 Node.t * 'a7 Node.t ‑> 'a t`
`|` `Map8 : ('a1 ‑> 'a2 ‑> 'a3 ‑> 'a4 ‑> 'a5 ‑> 'a6 ‑> 'a7 ‑> 'a8 ‑> 'a) * 'a1 Node.t * 'a2 Node.t * 'a3 Node.t * 'a4 Node.t * 'a5 Node.t * 'a6 Node.t * 'a7 Node.t * 'a8 Node.t ‑> 'a t`
`|` `Map9 : ('a1 ‑> 'a2 ‑> 'a3 ‑> 'a4 ‑> 'a5 ‑> 'a6 ‑> 'a7 ‑> 'a8 ‑> 'a9 ‑> 'a) * 'a1 Node.t * 'a2 Node.t * 'a3 Node.t * 'a4 Node.t * 'a5 Node.t * 'a6 Node.t * 'a7 Node.t * 'a8 Node.t * 'a9 Node.t ‑> 'a t`

``