unify
0.20.9
unify
/
it.unibo.tuprolog.unify
/
Equation
/
toPair
to
Pair
open
fun
toPair
(
)
:
Pair
<
<ERROR CLASS>
,
<ERROR CLASS>
>
Content copied to clipboard