Module type Datatype.Ty

A type with its type value.

type t
val ty : t Type.t