| %where% | 将递归与它应该递归的序列连接起来。 | ||
| eval_recursion | 计算整个dynpog递归。 | ||
| get_table_name | 从模式中提取表名。 | ||
| make_condition_checks | 将条件表达式转换为测试它们的调用。 | ||
| make_pattern_match | 将模式转换为检查模式的谓词。 | ||
| make_pattern_tests | 对所有模式进行模式测试。 | ||
| make_recursion_case | 为递归中的一个案例构造一个测试 | ||
| make_update_expr | 将递归的case'if'-语句串在一起。 | ||
| parse_ranges | 规范的范围部分的解析器。 | ||
| parse_recursion | 规范的递归部分的解析器。 |