Up
Module
Typestructable
=
Typestructable
Signature
module type
S0
=
Type_struct.Typestructable
module type
S1
= sig .. end
module type
S2
= sig .. end
module type
S3
= sig .. end
module type
S4
= sig .. end
module type
S5
= sig .. end
module
Of_typerepable
(
X
:
Typerep_lib.Std.Typerepable.S0
) :
S0
with
type
t
:=
X.t