模块 aya.base

程序包 org.aya.tyck.order

package org.aya.tyck.order

相关程序包

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

类	说明
AyaOrgaTycker	Incremental and non-stopping compiler for SCCs.
AyaSccTycker	Tyck statements in SCC.
AyaSccTycker.SCCTyckingFailed
SigRefFinder	Concrete version of RefFinder but only header is searched.
TyckOrder
TyckOrder.Body	body order
TyckOrder.Head	header order
TyckUnit