using System.Text.Json.Serialization; namespace View_by_Distance.Map.Models; public record DatabaseFileRoot( [property: JsonPropertyName("table")] string Table, [property: JsonPropertyName("rows")] IReadOnlyList Files );