Module Offsetmap


module Offsetmap: sig .. end
Undocumented. Do not use this module if you don't know what you are doing.

type itv = Abstract_interp.Int.t * Abstract_interp.Int.t 
exception Result_is_bottom
May be raised by update_ival when the add is completely out of bounds.
exception Result_is_same
exception Found_Top
module type S = sig .. end
module Make: 
functor (V : Lattice_With_Isotropy.S) -> S with type y = V.t and type widen_hint = V.widen_hint