La definición de una función debe estar incluida en el módulo de un diseño.