Datum_Header constructor

Datum_Header({ Event_Header? event, })

Implementation

factory Datum_Header({
  $24.Event_Header? event,
}) {
  final $result = create();
  if (event != null) {
    $result.event = event;
  }
  return $result;
}