If a recursive function is of the form f x = ... f (d x) ... then d is known as the descent function.

In addition suitable contents:
[ = ] [ am ] [ ar ] [ arc ] [ as ] [ ch ] [ cu ] [ de ] [ du ] [ ec ] [ er ] [ es ] [ fi ] [ file ] [ fo ] [ for ] [ function ] [ h ] [ hr ] [ id ] [ il ] [ io ] [ is ] [ kn ] [ Lex ] [ mo ] [ mod ] [ module ] [ na ] [ nc ] [ no ] [ ph ] [ query ] [ rc ] [ re ] [ recursive ] [ sc ] [ se ] [ si ] [ th ] [ ve ]