INSTANCE formal_parameter#28;
corresponds_to = {formal_parameter#29};
name = "records";
tipe = set_type#73;
is_optional = false;
the_function = user_defined_function#2; (* set indirectly *)
END_INSTANCE;
INSTANCE formal_parameter#29;
corresponds_to = {formal_parameter#28};
name = "records";
tipe = set_type#77;
is_optional = false;
the_function = user_defined_function#3; (* set indirectly *)
END_INSTANCE;