narrow abstract method

T narrow(
  1. T other
)

Narrowing operation (△): refines over-approximation after widening.

Implementation

T narrow(T other);