widen abstract method

T widen(
  1. T other
)

Widening operation (∇): ensures termination in fixpoint iteration.

Implementation

T widen(T other);