What is "type-induction"

In some languages, it is when the functions can force the parameters to be of a certain type or object.