Module aya.base
Package org.aya.tyck
package org.aya.tyck
-
ClassDescription
ExprTycker.TermResult.typeis the type ofExprTycker.TermResult.wellTyped.Similar toGetTypeVisitorin Arend.This is a lightweight abstraction of a tycker, primarily designed to be used inZonker.Currently we only deal with ambiguous equations (so no 'stuck' equations).