Export is not a type of industry. Export refers to the act of sending goods or services to another country for sale. It is a trade activity that involves the exchange of goods and services between countries. In contrast, construction, mining, manufacturing, and transport are all types of industries that involve the production or movement of goods or services.