Both examples are fine; whether or not there *are* any other (recursive) functions, there *could be*, and that's all that's necessary for the relative clause to be grammatical.