description: Extension for the holder ID of a HealthCard package_name: de.gematik.fhir.directory derivation: constraint name: HolderIdEx type: Extension elements: extension: {index: 0} url: pattern: {type: Uri, value: 'https://gematik.de/fhir/directory/StructureDefinition/holder-id-ex'} index: 1 value: mustSupport: true choices: [valueCode] index: 3 valueCode: {type: code, mustSupport: true, choiceOf: value, index: 4} package_version: 0.13.0 extensions: {} class: extension kind: complex-type url: https://gematik.de/fhir/directory/StructureDefinition/holder-id-ex base: http://hl7.org/fhir/StructureDefinition/Extension version: 0.13.0 required: [valueCode, value]