sig
  type t
  val link :
    Eva_lattice_type.With_Under_Approximation.t ->
    Eva_lattice_type.With_Under_Approximation.t ->
    Eva_lattice_type.With_Under_Approximation.t
  val meet :
    Eva_lattice_type.With_Under_Approximation.t ->
    Eva_lattice_type.With_Under_Approximation.t ->
    Eva_lattice_type.With_Under_Approximation.t Lattice_bounds.or_bottom
end