Цикл с проверкой условия после первого оператора из n

[falcrum]

Я не скажу вам, что это за язык, но такое лично я увидел впервые и, пока не разобрался методом тыка, чуть с ума не сошёл. Итак, в природе есть циклы, в которых условие проверяется до выполнения - ну, пусть, памятуя о богоподобном паскале, это будет while. Есть циклы, в которых условие проверяется после выполнения всех операторов внутри - repeat...until.

А сегодня я узнал, что бывает так: цикл выполняет свой первый оператор, после этого проверяет своё условие, и, если оно true, выполняет свои остальные вложенные операторы. После чего процедура повторяется: первый оператор, проверка и т.д.

И это не задокументировано. Никак. «Догадайся сам», мать их за ногу...