type (_, _, _) t
=
| Arity1 : ('a ‑> Core_kernel__.Import.unit, 's ‑> 'a ‑> 's, 's) t |
| Arity2 : ('a ‑> 'b ‑> Core_kernel__.Import.unit, 's ‑> 'a ‑> 'b ‑> 's, 's) t |
| Arity3 : ('a ‑> 'b ‑> 'c ‑> Core_kernel__.Import.unit, 's ‑> 'a ‑> 'b ‑> 'c ‑> 's, 's) t |
| Arity4 : ('a ‑> 'b ‑> 'c ‑> 'd ‑> Core_kernel__.Import.unit, 's ‑> 'a ‑> 'b ‑> 'c ‑> 'd ‑> 's, 's) t |
include sig ... end
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