Module type Type.S

type t
val t : t ty