Module aya.base
Package org.aya.tyck

Interface Result

All Known Implementing Classes:
Result.Default, Result.Sort

public sealed interface Result permits Result.Sort, Result.Default
  • Method Details

    • wellTyped

      @NotNull @NotNull Term wellTyped()
    • type

      @NotNull @NotNull Term type()
    • freezeHoles

      @NotNull @NotNull Result freezeHoles(@NotNull @NotNull TyckState state)
    • normalize

      @NotNull default @NotNull Result normalize(@NotNull @NotNull NormalizeMode mode, @NotNull @NotNull TyckState state)