description: Registration token from a push notification service (e.g. FCM/APNs) for the patient's mobile device. Used by telemedicine solutions when sending push notifications. package_name: dk.ehealth.sundhed.fhir.ig.core derivation: constraint name: ehealth-device-registrationToken type: Extension elements: extension: {index: 0} url: pattern: {type: Uri, value: 'http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-device-registrationToken'} index: 1 value: choices: [valueString] index: 3 valueString: {type: string, choiceOf: value, index: 4} package_version: 10.0.0 extensions: {} class: extension kind: complex-type url: http://ehealth.sundhed.dk/fhir/StructureDefinition/ehealth-device-registrationToken base: http://hl7.org/fhir/StructureDefinition/Extension version: 10.0.0