参考答案：直到型

解析：

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