Definitions for "Formal parameter"
Identifiers used inside procedure or function declaration to transfer information to or from the procedure or function. These identifiers will be replaced by actual parameters in the procedure of function call.
the parameters declared for a method or procedure, into which the actual parameter values will be copied
The definition of a parameter in a specification.
a monadic type followed by a optional defining label
Keywords:  denote, entity, identifier, body, named
an identifier used to denote the named entity within the body