ksmt-core/io.ksmt.sort/KArraySort/equals

equals

open operator override fun equals(other: Any?): Boolean