| %where% | Connects a recursion with sequences it should recurse over. |
| eval_recursion | Evaluate an entire dynprog recursion. |
| get_table_name | Extract the table name from a pattern. |
| make_condition_checks | Translate condition expressions into calls that test them. |
| make_pattern_match | Translate a pattern into a predicate that checks the pattern. |
| make_pattern_tests | Make pattern tests for all patterns. |
| make_recursion_case | Construct a test for a case in the recursion |
| make_update_expr | String together the case 'if'-statements of a recursion. |
| parse_ranges | Parser for the ranges part of a specification. |
| parse_recursion | Parser for the recursion part of a specification. |