With_Narrow
type t
val narrow : t -> t -> t Lattice_bounds.or_bottom
over-approximation of intersection
Frama-C Frama-C