ats_void_type fprintlst_01694_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) { /* local vardec */ // ATSlocal_void (tmp20) ; __ats_lab_fprintlst_01694_ats_ptr_type: /* tmp20 = */ aux_2 (arg0, arg2, arg3, arg1, 0) ; return /* (tmp20) */ ; } /* end of [fprintlst_01694_ats_ptr_type] */
ats_void_type array_ptr_initialize_elt_01930_ats_ptr_type (ats_ref_type arg0, ats_int_type arg1, ats_ptr_type arg2) { /* local vardec */ // ATSlocal_void (tmp8) ; __ats_lab_array_ptr_initialize_elt_01930_ats_ptr_type: /* tmp8 = */ aux_2 (arg0, arg1, arg2) ; return /* (tmp8) */ ; } /* end of [array_ptr_initialize_elt_01930_ats_ptr_type] */
ats_void_type aux_2_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0, ats_int_type arg1) { aux_2 (((aux_2_closure_type*)cloptr)->closure_env_0, ((aux_2_closure_type*)cloptr)->closure_env_1, ((aux_2_closure_type*)cloptr)->closure_env_2, arg0, arg1) ; return ; } /* end of function */