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