Module type Datatype.Ty

module type Ty = sig .. end

A type with its type value.


type t 
val ty : t Type.t