Module aya.base

Package org.aya.tyck.ctx

package org.aya.tyck.ctx

Related Packages

Package	Description
org.aya.tyck
org.aya.tyck.error
org.aya.tyck.order
org.aya.tyck.pat
org.aya.tyck.tycker

Record Classes

Class	Description
LocalLet	A locally, lazy substitution Every substitution should be well-scoped, i.e., Jdg can only refer to some free variable or elder lazy substitution.