Module aya.base
Package org.aya.tyck

Class ExprTycker.NotPi

All Implemented Interfaces:
Serializable
Enclosing class:
ExprTycker

protected static final class ExprTycker.NotPi extends Exception
See Also:
  • Field Details

    • actual

      @NotNull public final @NotNull org.aya.syntax.core.term.Term actual
  • Constructor Details

    • NotPi

      public NotPi(@NotNull @NotNull org.aya.syntax.core.term.Term actual)