This document provides a comprehensive overview of the model information structure of the International Rock Excavation Data Exchange Standard (IREDES) standard which in this case uses OPC UA as carrier and is therefore part of the companion specification mining. Version 1.0 of this document covers most of the IREDES type definitions, most of the IREDES ApplicationBaseClasses as well as the LHD truck equipment profile.