Как оформляется оператор цикла с постусловием на языке Паскаль? Приведите пример.

Цикл с постусловием оформляется словами repeat и until. Сначала выполняются операторы тела цикла, затем проверяется условие. Цикл продолжается, пока условие после until ложно, и завершается при его истинности.

repeat
ReadLn(x);
until x > 0;