Module aya.base

Package org.aya.tyck

package org.aya.tyck

Related Packages

Package	Description
org.aya.tyck.env
org.aya.tyck.error
org.aya.tyck.order
org.aya.tyck.pat
org.aya.tyck.trace
org.aya.tyck.unify

Class	Description
ExprTycker
ExprTycker.Result
ExprTycker.SortResult
ExprTycker.TermResult	ExprTycker.TermResult.type is the type of ExprTycker.TermResult.wellTyped.
ExprTycker.TyResult
LittleTyper	Similar to GetTypeVisitor in Arend.
StmtTycker
Tycker	This is a lightweight abstraction of a tycker, primarily designed to be used in Zonker.
TyckState	Currently we only deal with ambiguous equations (so no 'stuck' equations).
TyckState.Eqn