Up
Module
Make1
(
X
:
Named_intf.S1
) :
Typerepable.S1
with
type
'a
t
:= 'a
X.t
Parameters
X
:
Named_intf.S1
Signature
type
'a t
val
typerep_of_t : 'a
Std_internal.Typerep.t
-> 'a
t
Std_internal.Typerep.t
val
typename_of_t : 'a
Typename.t
-> 'a
t
Typename.t