base/src/main/java/org/arend/core/context/binding/LevelVariable.java [55:66]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    @Override
    public LevelVariable max(LevelVariable other) {
      return other instanceof InferenceLevelVariable || getType() != other.getType() ? null : other;
    }

    @Override
    public LevelVariable min(LevelVariable other) {
      return other instanceof InferenceLevelVariable || getType() != other.getType() ? null : this;
    }

    @Override
    public boolean compare(LevelVariable other, CMP cmp) {
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



base/src/main/java/org/arend/core/context/binding/LevelVariable.java [87:98]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    @Override
    public LevelVariable max(LevelVariable other) {
      return other instanceof InferenceLevelVariable || getType() != other.getType() ? null : other;
    }

    @Override
    public LevelVariable min(LevelVariable other) {
      return other instanceof InferenceLevelVariable || getType() != other.getType() ? null : this;
    }

    @Override
    public boolean compare(LevelVariable other, CMP cmp) {
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -