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