module type With_Widening = Lattice_type.With_Widening
Lattice_type.With_Widening
type t
type widen_hint
val widen : widen_hint -> t -> t -> t
widen_hint -> t -> t -> t
widen h t1 t2
join t1 t2
is_included t1 t2