ksmt-core
0.5.23
ksmt-core
/
io.ksmt.expr
/
KBvSignedGreaterExpr
/
internEquals
intern
Equals
open
override
fun
internEquals
(
other
:
Any
)
:
Boolean
Any.equals
analogue for interning purposes.