Le type de l'attribut, du paramètre ou du signal sous la forme d'une expression. Le type expression d'une opération précise le type de la variable retournée par l'opération à la fin de son exécution.