module type With_Widening = Lattice_type.With_Widening
type
t
type
widen_hint
hints for the widening
val widen : widen_hint ->
t ->
t -> t
widen h t1 t2
is an over-approximation of join t1 t2
.
Assumes is_included t1 t2