Cuando mas tarde el compilador encuentra una invocacion a la funcion modulo( ), deduce la version a utilizar (o generar si corresponde a una plantilla), basandose en los argumentos utilizados y en una generalizacion de las reglas de congruencia estandar de argumentos utilizadas en la sobrecarga de funciones.
Fuente: http://www.ilustrados.com/