description: \nThe following data-elements must always be present (Mandatory definition) or must be supported if the data is present in the sending system (Must Support definition). They are presented below in a simple human-readable explanation. Profile specific guidance and examples are provided as well. The Formal Profile Definition below provides the formal summary, definitions, and terminology requirements.\n\nWithin IEEE 11073-10103, MDC_IDC_DEV contains the following data elements:\nMDC_IDC_DEV_TYPE\nMDC_IDC_DEV_MODEL\nMDC_IDC_DEV_SERIAL\nMDC_IDC_DEV_MFG\n package_name: hl7.fhir.uv.cardx-cied derivation: constraint name: CIEDMonitor type: Device elements: udiCarrier: {mustSupport: true, index: 0} manufacturer: {mustSupport: true, index: 1} serialNumber: {mustSupport: true, index: 2} modelNumber: {mustSupport: true, index: 3} type: binding: {strength: required, valueSet: 'http://hl7.org/fhir/uv/cardx-cied/ValueSet/cied-monitor-types-vs'} mustSupport: true index: 4 package_version: 1.0.0-ballot class: profile kind: resource url: http://hl7.org/fhir/uv/cardx-cied/StructureDefinition/cied-monitor base: http://hl7.org/fhir/StructureDefinition/Device version: 1.0.0-ballot