description: Marks a type slice that the snapshot generator added to complete a type slicing. Type slicing is always closed, so when the slices that a profile defines do not cover every type the element still allows, the snapshot generator adds an empty slice for each remaining type. These slices add no constraints of their own; this extension marks them so that renderers can leave them out, and so that when a profile is derived from this one they are regenerated rather than inherited package_name: hl7.fhir.uv.tools derivation: constraint name: ImpliedTypeSliceExt type: Extension elements: extension: {index: 0} url: pattern: {type: Uri, value: 'http://hl7.org/fhir/tools/StructureDefinition/implied-type-slice'} index: 1 value: choices: [valueBoolean] index: 3 valueBoolean: {type: boolean, choiceOf: value, index: 4} package_version: 1.3.0 extensions: {} class: extension kind: complex-type url: http://hl7.org/fhir/tools/StructureDefinition/implied-type-slice base: http://hl7.org/fhir/StructureDefinition/Extension version: 1.3.0 required: [value, valueBoolean]