"> know the values and the types of a and b:" . . . .