Variable TypeSpecialization.type

class TypeSpecialization
{
  // ...
  Type type;
  // ...
}