using System.Text.Json.Serialization; namespace FinlyticCore.Models.TradeRepublic; public record TradeRepublicTickerRequest( [property: JsonPropertyName("id")] string Id, // e.g. "US5398301094.TIB" [property: JsonPropertyName("type")] string Type = "ticker", TradeRepublicHeaders? Headers = null ) { [JsonPropertyName("__headers")] public TradeRepublicHeaders Headers { get; init; } = Headers ?? new TradeRepublicHeaders(); }