Module Types.Kind

type 'a t =
| Array_fold : (_'a) Array_fold.t -> 'a t
| At : At.t -> Incremental.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_node.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
| Map10 : ('a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> 'a6 -> 'a7 -> 'a8 -> 'a9 -> 'a10 -> '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 * 'a10 Node.t -> 'a t
| Map11 : ('a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> 'a6 -> 'a7 -> 'a8 -> 'a9 -> 'a10 -> 'a11 -> '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 * 'a10 Node.t * 'a11 Node.t -> 'a t
| Map12 : ('a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> 'a6 -> 'a7 -> 'a8 -> 'a9 -> 'a10 -> 'a11 -> 'a12 -> '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 * 'a10 Node.t * 'a11 Node.t * 'a12 Node.t -> 'a t
| Map13 : ('a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> 'a6 -> 'a7 -> 'a8 -> 'a9 -> 'a10 -> 'a11 -> 'a12 -> 'a13 -> '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 * 'a10 Node.t * 'a11 Node.t * 'a12 Node.t * 'a13 Node.t -> 'a t
| Map14 : ('a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> 'a6 -> 'a7 -> 'a8 -> 'a9 -> 'a10 -> 'a11 -> 'a12 -> 'a13 -> 'a14 -> '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 * 'a10 Node.t * 'a11 Node.t * 'a12 Node.t * 'a13 Node.t * 'a14 Node.t -> 'a t
| Map15 : ('a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> 'a6 -> 'a7 -> 'a8 -> 'a9 -> 'a10 -> 'a11 -> 'a12 -> 'a13 -> 'a14 -> 'a15 -> '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 * 'a10 Node.t * 'a11 Node.t * 'a12 Node.t * 'a13 Node.t * 'a14 Node.t * 'a15 Node.t -> 'a t