Class ExportHeader
Represents the header record of a .redb export file.
The header is always the first line written to the JSONL stream
and carries metadata about the export (provider, timestamp, filters).
public sealed class ExportHeader
Inheritance
Properties
Description
Optional human-readable description of the export.
public string? Description { get; init; }
Provider
Database provider name that produced the export (e.g. "postgres", "mssql").
public string Provider { get; init; }