Variable TypeSpecialization.type

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