Up
Next
Module type
Datatype.Ty
module type
Ty
=
sig
..
end
A type with its type value.
type
t
val
ty
:
t
Type.t