ats_void_type _2home_2hwxi_2research_2Postiats_2git_2src_2pats_symmap_2esats__symmap_joinwth (ats_ref_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp127) ; ATSlocal (ats_ptr_type, tmp135) ; __ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_symmap_2esats__symmap_joinwth: tmp135 = linmap_listize_01733_ats_uint_type_2cats_ptr_type (arg1) ; /* tmp127 = */ loop_17 (arg0, tmp135) ; return /* (tmp127) */ ; } /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_symmap_2esats__symmap_joinwth] */
ats_ptr_type list_map_funenv_01412_ats_ptr_type_anairiats_rec_1 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp92) ; ATSlocal (ats_ptr_type, tmp100) ; // ATSlocal_void (tmp101) ; __ats_lab_list_map_funenv_01412_ats_ptr_type_anairiats_rec_1: /* ats_ptr_type tmp100 ; */ /* tmp101 = */ loop_17 (arg0, arg1, (&tmp100), arg2) ; tmp92 = tmp100 ; return (tmp92) ; } /* end of [list_map_funenv_01412_ats_ptr_type_anairiats_rec_1] */