recorded property
recorded The date the occurrence of the procedure was first captured in the record regardless of Procedure.status (potentially after the occurrence of the event).
Implementation
FhirDateTime? get recorded => throw _privateConstructorUsedError;