sig   type t   val link :     Lattice_type.With_Under_Approximation.t ->     Lattice_type.With_Under_Approximation.t ->     Lattice_type.With_Under_Approximation.t   val meet :     Lattice_type.With_Under_Approximation.t ->     Lattice_type.With_Under_Approximation.t ->     Lattice_type.With_Under_Approximation.t end