Type

  1. alias Type(T : Type!U, U) = T
    alias Type(T : Type!U, U) = T
  2. struct Type(T)
  3. auto type()

Examples

static assert (is(Type!(Type!int) == Type!int));

Meta