module Offsetmap: sig
.. end
May be raised by update_ival
when the add is completely out of bounds.
val debug_now : bool Pervasives.ref
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
module Build: functor (
V
:
Lattice_With_Isotropy.S
) ->
sig
.. end