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;