namespace InkBlot; public record Range(int StartLine, int StartColumn, int EndLine, int EndColumn); public record Diagnostic(string FileName, Range Range, string Message, string Context);