p°φkaz_LEAVE
::= LEAVE
nßv∞Ütφ
;
P°φkaz LEAVE zp∙sobφ ukonΦenφ provßd∞nφ p°φkaz∙ ve slo₧enΘm p°φkazu, p°φkazu LOOP, REPEAT, WHILE nebo FOR a pokraΦovßnφ p°φkazem na prvnφm °ßdku za nßv∞Ütφm.
Nßv∞Ütφ musφ b²t shodnΘ s nßv∞Ütφm n∞kterΘho p°φkazu, v n∞m₧ je p°φkaz LEAVE obsa₧en. Je-li p°φkaz LEAVE pou₧it k ukonΦenφ slo₧enΘho p°φkazu tvo°φcφho t∞lo procedury, je mo₧nΘ jak nßv∞Ütφ pou₧φt jmΘno procedury.