With_Under_Approximation
type t
val link : t -> t -> t
under-approximation of union
val meet : t -> t -> t Lattice_bounds.or_bottom
under-approximation of intersection
Frama-C