_
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
val bottom_is_strict : bool
Frama-C