Type qualifier

a type qualifier is a analogy with constructors in object-oriented programming.