unify/it.unibo.tuprolog.unify/Equation/Contradiction/rhs

rhs

open override val rhs: <ERROR CLASS>
Content copied to clipboard

The right-hand side of the equation