Up
Module
Of_typerepable
(
X
:
Typerep_lib.Std.Typerepable.S0
) :
S0
with
type
t
:=
X.t
Parameters
X
:
Typerep_lib.Std.Typerepable.S0
Signature
type
t
val
typestruct_of_t :
Type_struct.type_struct