unify
/
it.unibo.tuprolog.unify
/
Equation
/
asIdentity
as
Identity
open fun
asIdentity
():
Equation.Identity
?
Content copied to clipboard