theory/it.unibo.tuprolog.theory/Theory/equals

equals

abstract fun equals(other: Theory, useVarCompleteName: Boolean): Boolean
Content copied to clipboard