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()
}