模块 org.aya
程序包 org.aya.tyck
package org.aya.tyck
-
类说明
ExprTycker.Result.typeis the type ofExprTycker.Result.wellTyped.Similar toGetTypeVisitorin Arend.Currently we only deal with ambiguous equations (so no 'stuck' equations).
ExprTycker.Result.type is the type of ExprTycker.Result.wellTyped.GetTypeVisitor in Arend.