loop_statement

loop_statement 
      ::= 
      [ label_name ] 
      [ ( "while" plsql_condition ) 
      | ( "for" ( numeric_loop_param | cursor_loop_param ) ) ] 
      "loop" 
      seq_of_statements 
      "end" "loop" [ label_name ] 

This rule is call by

-> statement