Up
Module
Make5
(
X
:
Typerep_lib.Named_intf.S5
)
Parameters
X
:
Typerep_lib.Named_intf.S5
Signature
val
named : 'a
Typerep_lib.Std_internal.Typerep.t
-> 'b
Typerep_lib.Std_internal.Typerep.t
-> 'c
Typerep_lib.Std_internal.Typerep.t
-> 'd
Typerep_lib.Std_internal.Typerep.t
-> 'e
Typerep_lib.Std_internal.Typerep.t
-> ('a, 'b, 'c, 'd, 'e)
X.t
Typerep_lib.Std_internal.Typerep.Named.t
val
typename_of_t : 'a
Typerep_lib.Typename.t
-> 'b
Typerep_lib.Typename.t
-> 'c
Typerep_lib.Typename.t
-> 'd
Typerep_lib.Typename.t
-> 'e
Typerep_lib.Typename.t
-> ('a, 'b, 'c, 'd, 'e)
X.t
Typerep_lib.Typename.t