formal_parameter


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;