namespace InfineonHMI; public record class NavigateMessage(string VariableName, Type type, string Header = "");