Yes, for most repayment is via mandatory payroll withholding tax. If you fall outside of that system it’s also included in your annual tax return.