• Home
• org.aya-prover
• base
• 0.35.0
• source code
• TyckError.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.aya.tyck.error.TyckError Maven / Gradle / Ivy

// Copyright (c) 2020-2024 Tesla (Yinsen) Zhang.
// Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
package org.aya.tyck.error;

import org.aya.util.reporter.Problem;
import org.jetbrains.annotations.NotNull;

public interface TyckError extends Problem {
  @Override default @NotNull Problem.Severity level() { return Severity.ERROR; }
  @Override default @NotNull Stage stage() { return Stage.TYCK; }
}