Module Incremental_kernel__Types.Kind

type 'a t =
| Array_fold : (_'aArray_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 : (_'aBind.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 : (_'aUnordered_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