HP Pascal/iX Reference Manual (31502-90022)

8-: 2
* They are both procedural parameters with congruent parameter
lists.
* They are both functional parameters with congruent parameter lists
and identical result types.
* They are both either value conformant array specifications or both
reference conformant array specifications, and in both cases, the
conformant array specifications contain the same number of
parameters and equivalent conformant array schemas. Two
conformant array schemas are equivalent if all of the following
statements are true:
* The ordinal type identifier in each corresponding index
type specification denotes the same type.
* Either the component conformant array schemas of the
conformant array schemas are equivalent, or the type
identifiers of the conformant array schemas denote the same
type.
* Either both conformant array schemas are packed or both are
unpacked.
Syntax
Formal_parameter_list:
Example
PROGRAM show_formparm (input);
VAR
test: boolean;
FUNCTION chek1 (x, y, z: real): Boolean;
BEGIN
{ Perform some type of validity check on x, y, z }
{ and return appropriate value. }
END;
FUNCTION chek2 (x, y, z: real): Boolean;
BEGIN