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 */
