meet abstract method

T meet(
  1. T other
)

Meet operation (⊓): greatest lower bound of two abstract values.

Implementation

T meet(T other);