Up
Module
Fold_arity
Signature
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
val
sexp_of_t : ('v_x__002_ ->
Sexplib.Sexp.t
) -> ('v_x__003_ ->
Sexplib.Sexp.t
) -> ('v_x__004_ ->
Sexplib.Sexp.t
) -> ('v_x__002_, 'v_x__003_, 'v_x__004_)
t
->
Sexplib.Sexp.t