模块 aya.base

程序包 org.aya.tyck

接口 ExprTycker.Result

所有已知实现类:

ExprTycker.SortResult, ExprTycker.TermResult, ExprTycker.TyResult

封闭类:

ExprTycker

public static interface ExprTycker.Result

方法概要

修饰符和类型	方法	说明
@NotNull ExprTycker.Result	freezeHoles(@NotNull TyckState state)
@NotNull Term	type()
@NotNull Term	wellTyped()

方法详细资料

wellTyped

@NotNull
@NotNull Term wellTyped()

type

@NotNull
@NotNull Term type()

freezeHoles

@NotNull
@NotNull ExprTycker.Result freezeHoles(@NotNull
 @NotNull TyckState state)