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