Module type Datatype.Ty

module type Ty = sig .. end
A type with its type value.

type t 
val ty : t Type.t