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.r5
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]