using System.Numerics; using System.Text.Json.Serialization; using SmartNav.Model.Converter; namespace SmartNav.Model.Navigation; public sealed record TriggerBox([property: JsonConverter(typeof(VectorConverter))] Vector3 Translation, [property: JsonConverter(typeof(VectorConverter))] Vector3 RotationRadians, [property: JsonConverter(typeof(VectorConverter))] Vector3 HalfExtents);