- All Known Implementing Classes:
ExprTycker.SortResult,ExprTycker.TermResult,ExprTycker.TyResult
- Enclosing class:
ExprTycker
public static interface ExprTycker.Result
-
Method Summary
Modifier and TypeMethodDescription@NotNull ExprTycker.ResultfreezeHoles(@NotNull TyckState state) default @NotNull ExprTycker.Resultnormalize(@NotNull NormalizeMode mode, @NotNull TyckState state) @NotNull Termtype()@NotNull Term
-
Method Details
-
wellTyped
-
type
-
freezeHoles
-
normalize
@NotNull default @NotNull ExprTycker.Result normalize(@NotNull @NotNull NormalizeMode mode, @NotNull @NotNull TyckState state)
-