#nullable enable
using System;
using System.Collections.Generic;
using System.Collections.Immutable;
using OmniSharp.Extensions.LanguageServer.Protocol.Models;

namespace Microsoft.Dafny;

public record FinishedResolution(ResolutionResult Result) : ICompilationEvent;