unify

open fun unify(term1: Any, term2: Any, occurCheckEnabled: Boolean = true): Term?

Content copied to clipboard