hashCode

open override fun hashCode(): Int(source)

Overrides the hashCode method from the Any class to generate a hash code for the ProofTypes object.

Return

The hash code value for the ProofTypes object.