| %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. |