<StructureDefinition xmlns="http://hl7.org/fhir">
  <url value="https://example.org/fhir/StructureDefinition/TestDigiDOTprocedure" />
  <name value="TestDigiDOTprocedure" />
  <status value="draft" />
  <fhirVersion value="4.0.1" />
  <kind value="resource" />
  <abstract value="false" />
  <type value="Procedure" />
  <baseDefinition value="http://hl7.org/fhir/StructureDefinition/Procedure" />
  <derivation value="constraint" />
  <differential>
    <element id="Procedure.code.coding">
      <path value="Procedure.code.coding" />
      <slicing>
        <description value="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 value="open" />
      </slicing>
      <short value="Code defined by snomed.info/sct" />
    </element>
    <element id="Procedure.code.coding:preSCT">
      <path value="Procedure.code.coding" />
      <sliceName value="preSCT" />
      <min value="1" />
      <max value="1" />
    </element>
    <element id="Procedure.code.coding:extSCT">
      <path value="Procedure.code.coding" />
      <sliceName value="extSCT" />
      <max value="1" />
    </element>
    <element id="Procedure.bodySite.coding:sliceCoding">
      <path value="Procedure.bodySite.coding" />
      <sliceName value="sliceCoding" />
    </element>
    <element id="Procedure.bodySite.coding:sliceCoding2">
      <path value="Procedure.bodySite.coding" />
      <sliceName value="sliceCoding2" />
    </element>
  </differential>
</StructureDefinition>