lub

open fun lub(other: State<K, V>): Pair<State<K, V>, Boolean>

It updates this state by adding all new nodes in other to this and by computing the least upper bound for each entry.

Returns this and a flag which states if there was any update necessary (or if this is equal before and after running the method).