using System; using System.Text.Json; publicrecordRoot( [property: JsonPropertyName("a")] string A, [property: JsonPropertyName("arr")] int[] Arr, [property: JsonPropertyName("nested")] Nested Nested ); publicrecordNested( [property: JsonPropertyName("a")] int A, [property: JsonPropertyName("b")] string B );