_
include Lattice_type.With_Top with type t := v
val top : v
largest element
include Lattice_type.With_Narrow with type t := v
val narrow : v -> v -> v
over-approximation of intersection
Frama-C