module Offsetmap:May be raised bysig
..end
update_ival
when the add is completely out of bounds.val debug_now : bool Pervasives.ref
typeitv =
Abstract_interp.Int.t * Abstract_interp.Int.t
exception Result_is_bottom
update_ival
when the add is completely out of bounds.exception Result_is_same
exception Found_Top
module type S =sig
..end
module Make: