base/src/main/java/org/arend/term/concrete/Concrete.java [2293:2312]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    @NotNull
    @Override
    public Expression getResultType() {
      return myResultType;
    }

    @Override
    public void setResultType(Expression resultType) {
      myResultType = resultType;
    }

    @Nullable
    @Override
    public Expression getResultTypeLevel() {
      return myResultTypeLevel;
    }

    @Override
    public void setResultTypeLevel(Expression resultTypeLevel) {
      myResultTypeLevel = resultTypeLevel;
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



base/src/main/java/org/arend/term/concrete/Concrete.java [2374:2393]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    @NotNull
    @Override
    public Expression getResultType() {
      return myResultType;
    }

    @Override
    public void setResultType(Expression resultType) {
      myResultType = resultType;
    }

    @Nullable
    @Override
    public Expression getResultTypeLevel() {
      return myResultTypeLevel;
    }

    @Override
    public void setResultTypeLevel(Expression resultTypeLevel) {
      myResultTypeLevel = resultTypeLevel;
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -