Up
Module
Make4
(
X
:
Named_intf.S4
) :
Typerepable.S4
with
type
('a, 'b, 'c, 'd)
t
:= ('a, 'b, 'c, 'd)
X.t
Parameters
X
:
Named_intf.S4
Signature
type
('a, 'b, 'c, 'd) t
val
typerep_of_t : 'a
Std_internal.Typerep.t
-> 'b
Std_internal.Typerep.t
-> 'c
Std_internal.Typerep.t
-> 'd
Std_internal.Typerep.t
-> ('a, 'b, 'c, 'd)
t
Std_internal.Typerep.t
val
typename_of_t : 'a
Typename.t
-> 'b
Typename.t
-> 'c
Typename.t
-> 'd
Typename.t
-> ('a, 'b, 'c, 'd)
t
Typename.t