Frama-C API - With_Diff_One
val diff_if_one : t -> t -> t Lattice_bounds.or_bottomdiff_if_one t1 t2 is an over-approximation of t1-t2.
Frama-C Frama-C With_Diff_Oneval diff_if_one : t -> t -> t Lattice_bounds.or_bottomdiff_if_one t1 t2 is an over-approximation of t1-t2.