module Tuple: sig .. end
sig
end
type '_ t =
'_
|
T2 : ('a Std_internal.Typerep.t * 'b Std_internal.Typerep.t) -> ('a * 'b) t
('a Std_internal.Typerep.t * 'b Std_internal.Typerep.t)
('a * 'b) t
T3 : ('a0 Std_internal.Typerep.t * 'b0 Std_internal.Typerep.t * 'c Std_internal.Typerep.t) -> ('a0 * 'b0 * 'c) t
('a0 Std_internal.Typerep.t * 'b0 Std_internal.Typerep.t * 'c Std_internal.Typerep.t)
('a0 * 'b0 * 'c) t
T4 : ('a1 Std_internal.Typerep.t * 'b1 Std_internal.Typerep.t * 'c0 Std_internal.Typerep.t * 'd Std_internal.Typerep.t) -> ('a1 * 'b1 * 'c0 * 'd) t
('a1 Std_internal.Typerep.t * 'b1 Std_internal.Typerep.t * 'c0 Std_internal.Typerep.t * 'd Std_internal.Typerep.t)
('a1 * 'b1 * 'c0 * 'd) t
T5 : ('a2 Std_internal.Typerep.t * 'b2 Std_internal.Typerep.t * 'c1 Std_internal.Typerep.t * 'd0 Std_internal.Typerep.t * 'e Std_internal.Typerep.t) -> ('a2 * 'b2 * 'c1 * 'd0 * 'e) t
('a2 Std_internal.Typerep.t * 'b2 Std_internal.Typerep.t * 'c1 Std_internal.Typerep.t * 'd0 Std_internal.Typerep.t * 'e Std_internal.Typerep.t)
('a2 * 'b2 * 'c1 * 'd0 * 'e) t
val arity : 'a t -> int
'a t -> int
val typename_of_t : 'a t -> 'a Typename.t
'a t -> 'a Typename.t