back to syntax homepage

ProcedureHeading:

ProcedureHeading = PROCEDURE identdef [FormalParameters]

Places in the syntax where you might come from: ProcedureDeclaration