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 Bottom.Type.or_bottom
end