override fun toString()

in reactor/Core/src/jetbrains/mps/unification/Unification.kt [83:92]


        override fun toString(): String {
            val sb = StringBuilder("[")
            var sep = ""
            for (b in myBindings) {
                sb.append(sep)
                sep = ", "
                sb.append(b.`var`()).append(" -> ").append(b.term())
            }
            return sb.append("]").toString()
        }