namespace UpsilonLanguageServer
{
    public class SettingsRoot
    {
        public LanguageServerSettings UpsilonLanguageServer { get; set; }
    }

    public class LanguageServerSettings
    {
        public int MaxNumberOfProblems { get; set; } = 10;
        public string ModuleDirectory { get; set; } = "./modules";

        public LanguageServerTraceSettings Trace { get; } = new LanguageServerTraceSettings();
    }

    public class LanguageServerTraceSettings
    {
        public string Server { get; set; }
    }}