{
  "resourceType": "StructureDefinition",
  "url": "https://example.org/fhir/StructureDefinition/TestDigiDOTprocedure",
  "name": "TestDigiDOTprocedure",
  "status": "draft",
  "fhirVersion": "4.0.1",
  "kind": "resource",
  "abstract": false,
  "type": "Procedure",
  "baseDefinition": "http://hl7.org/fhir/StructureDefinition/Procedure",
  "derivation": "constraint",
  "differential": {
    "element": [
      {
        "id": "Procedure.code.coding",
        "path": "Procedure.code.coding",
        "slicing": {
          "description": "preSCT is restricted to a precoordinated code from SNOMED CT. extSCT allows both a precoordinated code and a postcoordination conforming to Snomed's compositional grammar.",
          "rules": "open"
        },
        "short": "Code defined by snomed.info/sct"
      },
      {
        "id": "Procedure.code.coding:preSCT",
        "path": "Procedure.code.coding",
        "sliceName": "preSCT",
        "min": 1,
        "max": "1"
      },
      {
        "id": "Procedure.code.coding:extSCT",
        "path": "Procedure.code.coding",
        "sliceName": "extSCT",
        "max": "1"
      },
      {
        "id": "Procedure.bodySite.coding:sliceCoding",
        "path": "Procedure.bodySite.coding",
        "sliceName": "sliceCoding"
      },
      {
        "id": "Procedure.bodySite.coding:sliceCoding2",
        "path": "Procedure.bodySite.coding",
        "sliceName": "sliceCoding2"
      }
    ]
  }
}