模块 org.aya

程序包 org.aya.tyck.order

package org.aya.tyck.order

Related Packages

程序包	说明
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
TyckOrder
TyckOrder.Body	body order
TyckOrder.Head	header order
TyckUnit