unify
/
it.unibo.tuprolog.unify
/
Equation
/
castToContradiction
cast
To
Contradiction
fun
castToContradiction
():
Equation.Contradiction
Content copied to clipboard