theory
/
it.unibo.tuprolog.theory
/
Theory
/
equals
equals
abstract fun
equals
(other:
Theory
, useVarCompleteName:
Boolean
):
Boolean
Content copied to clipboard