type _ t
=
| T2 : ('a Typerep.t * 'b Typerep.t) ‑> ('a * 'b) t |
| T3 : ('a Typerep.t * 'b Typerep.t * 'c Typerep.t) ‑> ('a * 'b * 'c) t |
| T4 : ('a Typerep.t * 'b Typerep.t * 'c Typerep.t * 'd Typerep.t) ‑> ('a * 'b * 'c * 'd) t |
| T5 : ('a Typerep.t * 'b Typerep.t * 'c Typerep.t * 'd Typerep.t * 'e Typerep.t) ‑> ('a * 'b * 'c * 'd * 'e) t |
val arity : _ t ‑> int
val typename_of_t : 'a t ‑> 'a Typerep_lib.Typename.t