override fun union()

in reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/LogicalImpl.kt [152:154]


    override fun union(other: MutableLogical<T>) {
        union(other, { a, b -> if (a != b) throw IllegalStateException("$a does not equal to $b") })
    }