You can take money out of your ASA to buy service credit in another government retirement plan.
You may only withdraw the exact amount. The money must be paid as a “trustee-to-trustee” transfer to the other governmental plan. This means INPRS would transfer the funds to the other government plan. You would not receive a cash payment.
If you should return to a PERF- or TRF-covered position, you would need to buy back the service credit from the other government plan to have it count toward your retirement.