join abstract method

T join(
  1. T other
)

Join operation (⊔): least upper bound of two abstract values.

Implementation

T join(T other);