type (_, _, _) t = | Arity1 : ('a -> unit, 's -> 'a -> 's, 's) t| Arity2 : ('a -> 'b -> unit, 's -> 'a -> 'b -> 's, 's) t| Arity3 : ('a -> 'b -> 'c -> unit, 's -> 'a -> 'b -> 'c -> 's, 's) t| Arity4 : ('a -> 'b -> 'c -> 'd -> unit, 's -> 'a -> 'b -> 'c -> 'd -> 's, 's) t| Arity5 : ('a ->
'b ->
'c ->
'd ->
'e ->
unit,
's ->
'a ->
'b ->
'c ->
'd ->
'e ->
's,
's)
t| Arity6 : ('a ->
'b ->
'c ->
'd ->
'e ->
'f ->
unit,
's ->
'a ->
'b ->
'c ->
'd ->
'e ->
'f ->
's,
's)
t