module Offsetmap:Undocumented. Do not use this module if you don't know what you are doing.sig
..end
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: