Module type Eva_lattice_type.With_Under_Approximation

type t

under-approximation of union

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

under-approximation of intersection