Retirement tax questions

Was the loan she paid off a 401(k) loan, student loan, or some other type?