`sig
type ('a, 'b, 'c, 'd, 'e) named
type a
val a : Std_internal.Typerep.Named.T5.a Std_internal.Typerep.t
type b
val b : Std_internal.Typerep.Named.T5.b Std_internal.Typerep.t
type c
val c : Std_internal.Typerep.Named.T5.c Std_internal.Typerep.t
type d
val d : Std_internal.Typerep.Named.T5.d Std_internal.Typerep.t
type e
val e : Std_internal.Typerep.Named.T5.e Std_internal.Typerep.t
type t
val typename_of_named :
'a Typename.t ->
'b Typename.t ->
'c Typename.t ->
'd Typename.t ->
'e Typename.t ->
('a, 'b, 'c, 'd, 'e) Std_internal.Typerep.Named.T5.named Typename.t
val typename_of_t : Std_internal.Typerep.Named.T5.t Typename.t
val witness :
(Std_internal.Typerep.Named.T5.t,
(Std_internal.Typerep.Named.T5.a, Std_internal.Typerep.Named.T5.b,
Std_internal.Typerep.Named.T5.c, Std_internal.Typerep.Named.T5.d,
Std_internal.Typerep.Named.T5.e)
Std_internal.Typerep.Named.T5.named)
Type_equal.t
end`