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