fun unify()

in reactor/Core/src/jetbrains/mps/unification/TermGraphUnifier.kt [69:76]

• 7 lines of code
• 2 McCabe index (conditional complexity)

    fun unify(a: Term, b: Term): Substitution {
        return if (unifClosure(toInt(a), toInt(b))) {
            findSolution(a, Unification.EMPTY_SUBSTITUTION)

        } else {
            failedSubstitution(failureCause, *failureDetails)
        }
    }