Definition: Export credit
External debt - IMF
A loan extended to finance a specific purchase of goods or services from within the creditor country. Export credits extended by the supplier of goods—such as when the importer of goods and services is allowed to defer payment— are known as supplier’s credits; export credits extended by a financial institution, or an export credit agency in the exporting country are known as buyer’s credits.
International Monetary Fund (IMF), "External Debt Statistics: Guide for Compilers and Users; Appendix III. Glossary of External Debt Terms", Washington D.C., 2003