参考答案：直到型

解析：

[分析]： 在程序设计语言中，重复结构对应两类循环语句：(1)对先判断后执行的循环体称为当型循环结构； (2)对先执行循环体后判断的称为直到型循环结构。