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