Up
Module
Make2
(
X
:
Typerep_lib.Named_intf.S2
) :
Typerep_lib.Typerepable.S2
with
type
('a, 'b)
t
:= ('a, 'b)
X.t
Parameters
X
:
Typerep_lib.Named_intf.S2
Signature
type
('a, 'b) t
val
typerep_of_t : 'a
Typerep_lib.Std_internal.Typerep.t
-> 'b
Typerep_lib.Std_internal.Typerep.t
-> ('a, 'b)
t
Typerep_lib.Std_internal.Typerep.t
val
typename_of_t : 'a
Typerep_lib.Typename.t
-> 'b
Typerep_lib.Typename.t
-> ('a, 'b)
t
Typerep_lib.Typename.t