Date voided FHIR Extension

This extension is used to mark when the record was voided.
date-voided

{
    "resourceType":"StructureDefinition",
    "id":"date-voided",
    "url":"https://openmrs.org/fhir/StructureDefinition/date-voided",
    "name":"date-voided",
    "status":"draft",
    "kind":"primitive-type",
    "abstract":false,
    "contextType":"datatype",
    "type":"Extension",
    "baseDefinition":"http://hl7.org/fhir/StructureDefinition/Extension",
    "derivation":"constraint",
    "differential":{
        "element": [
            {
                "id":"Extension.url",
                "path":"Extension.url",
                "fixedUri":"https://openmrs.org/fhir/StructureDefinition/date-voided"
            },
            {
                "id":"Extension.value[x]:valueDateTime",
                "path":"Extension.valueDateTime",
                "sliceName":"valueDateTime",
                "type": [
                    {
                        "code":"dateTime"
                    }
                ]
            },
            {
                "id":"valueDateTime:valueDateTime.id",
                "path":"Extension.valueDateTime.id",
                "max":"0"
            }
        ]
    }
}