Runtime.Tuple_in
type (_, _, _) t
=
|
Cons : ('t -> 'a) * ('t, 'b, 'c) t -> ('t, 'a -> 'b, 'c) t
Nil : ('t, 'a, 'a) t
val (^::) : ('a -> 'b) -> ('a, 'c, 'd) t -> ('a, 'b -> 'c, 'd) t