sig
  type t
  type widen_hint
  val widen :
    Lattice_type.With_Widening.widen_hint ->
    Lattice_type.With_Widening.t ->
    Lattice_type.With_Widening.t -> Lattice_type.With_Widening.t
end