base/src/main/java/org/arend/term/concrete/Concrete.java [2048:2056]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    @Override
    @SuppressWarnings("EqualsWhichDoesntCheckParameterClass")
    public boolean equals(Object o) {
      return equalsImpl(o);
    }

    @Override
    public int hashCode() {
      return hashCodeImpl();
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



base/src/main/java/org/arend/term/concrete/Concrete.java [2235:2243]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    @Override
    @SuppressWarnings("EqualsWhichDoesntCheckParameterClass")
    public boolean equals(Object o) {
      return equalsImpl(o);
    }

    @Override
    public int hashCode() {
      return hashCodeImpl();
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -