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