description: The PDex Device profile is provided to enable payers to record information about devices used by a member that may not have a UDI number.
package_name: hl7.fhir.us.davinci
derivation: constraint
name: PdexDevice
type: Device
elements:
  udiCarrier:
    mustSupport: true
    index: 0
    elements:
      deviceIdentifier: {mustSupport: true, index: 1}
      carrierAIDC: {mustSupport: true, index: 2}
      carrierHRF: {mustSupport: true, index: 3}
    required: [deviceIdentifier]
  status:
    binding: {strength: required, valueSet: 'http://hl7.org/fhir/ValueSet/device-status'}
    mustSupport: true
    index: 4
  distinctIdentifier: {mustSupport: true, index: 5}
  expirationDate: {mustSupport: true, index: 6}
  lotNumber: {mustSupport: true, index: 7}
  serialNumber: {mustSupport: true, index: 8}
  type:
    binding: {strength: extensible, valueSet: 'http://hl7.org/fhir/ValueSet/device-kind'}
    mustSupport: true
    index: 9
  patient:
    type: Reference
    mustSupport: true
    refers: ['http://hl7.org/fhir/us/core/StructureDefinition/us-core-patient']
    index: 10
package_version: pdex-1.0.0
class: profile
kind: resource
url: http://hl7.org/fhir/us/davinci-pdex/StructureDefinition/pdex-device
base: http://hl7.org/fhir/StructureDefinition/Device
version: 1.0.0
required: [type, patient]