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