equals

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

Overrides the equals method from the Any class to compare two ProofTypes objects for equality.

true if the objects are equal, false otherwise.

other

The object to compare for equality.