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