module type With_Widening = sig .. end
sig
end
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