descent function

If a recursive function is of the form

	f x = ... f (d x) ...
then d is known as the descent function.


Loading