Serialized Form

Package org.aya.normalize

Exception Class org.aya.normalize.PatMatcher.Failure

class Failure extends Throwable implements Serializable

Serialized Fields

reason

PatMatcher.State reason

Package org.aya.resolve.context

Exception Class org.aya.resolve.context.Context.ResolvingInterruptedException

class ResolvingInterruptedException extends org.aya.generic.InterruptException implements Serializable

Package org.aya.tyck

Exception Class org.aya.tyck.ExprTycker.NotPi

class NotPi extends Exception implements Serializable

Serialized Fields

actual

@NotNull org.aya.syntax.core.term.Term actual

Package org.aya.tyck.order

Exception Class org.aya.tyck.order.AyaSccTycker.SCCTyckingFailed

class SCCTyckingFailed extends org.aya.generic.InterruptException implements Serializable

Serialized Fields

what

@NotNull kala.collection.immutable.ImmutableSeq<org.aya.generic.stmt.TyckOrder> what