matches

@JvmStatic()
infix fun Term.matches(other: Term): Boolean
Content copied to clipboard

Computes whether the two terms match, using default unification strategy