模块 aya.base

程序包 org.aya.tyck

package org.aya.tyck

相关程序包

程序包	说明
org.aya.tyck.env
org.aya.tyck.error
org.aya.tyck.order
org.aya.tyck.pat
org.aya.tyck.trace
org.aya.tyck.unify

类	说明
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