Module type Eva_lattice_type.With_Under_Approximation

module type With_Under_Approximation = sig .. end

type t 
val link : t ->
t ->
t

under-approximation of union

val meet : t ->
t ->
t Lattice_bounds.or_bottom

under-approximation of intersection