Generalization of recursive function

No match.