functor (V : Lattice_With_Isotropy.S) ->
sig
type t
type y
val empty : New_offsetmap.Make.t
val is_empty : New_offsetmap.Make.t -> bool
val equal_vv :
New_offsetmap.Int.t * New_offsetmap.Int.t * V.t ->
New_offsetmap.Int.t * New_offsetmap.Int.t * V.t -> bool
val equal : New_offsetmap.Make.t -> New_offsetmap.Make.t -> bool
val get_max : New_offsetmap.Make.t -> New_offsetmap.Int.t
exception Empty_tree
val fold_offset :
(New_offsetmap.Int.t ->
int64 -> New_offsetmap.Int.t -> New_offsetmap.Int.t -> V.t -> 'a -> 'a) ->
New_offsetmap.Int.t -> New_offsetmap.Make.t -> 'a -> 'a
val fold :
(New_offsetmap.Int.t ->
int64 -> New_offsetmap.Int.t -> New_offsetmap.Int.t -> V.t -> 'a -> 'a) ->
New_offsetmap.Make.t -> 'a -> 'a
val iter_offset :
(New_offsetmap.Int.t ->
int64 -> New_offsetmap.Int.t -> New_offsetmap.Int.t -> V.t -> 'a) ->
New_offsetmap.Int.t -> New_offsetmap.Make.t -> unit
val iter :
(New_offsetmap.Int.t ->
int64 -> New_offsetmap.Int.t -> New_offsetmap.Int.t -> V.t -> 'a) ->
New_offsetmap.Make.t -> unit
val pretty_node :
Format.formatter -> int64 -> int64 -> int64 -> int64 -> V.t -> unit
val pretty_offset :
int64 -> Format.formatter -> New_offsetmap.Make.t -> unit
val pretty : Format.formatter -> New_offsetmap.Make.t -> unit
val pretty_debug_offset :
int64 -> Format.formatter -> New_offsetmap.Make.t -> unit
val pretty_debug : Format.formatter -> New_offsetmap.Make.t -> unit
val print_offset : int64 -> New_offsetmap.Make.t -> unit
val fprint : Format.formatter -> New_offsetmap.Make.t -> unit
val print : New_offsetmap.Make.t -> unit
exception Interval_not_found of New_offsetmap.Int.t * New_offsetmap.Int.t
val subtree_from_interval :
New_offsetmap.Int.t ->
New_offsetmap.Int.t ->
New_offsetmap.Int.t ->
New_offsetmap.Make.t -> New_offsetmap.Int.t * New_offsetmap.Make.t
val make_node :
int64 ->
New_offsetmap.Int.t ->
New_offsetmap.Int.t ->
New_offsetmap.Make.t ->
New_offsetmap.Int.t ->
New_offsetmap.Make.t ->
New_offsetmap.Int.t ->
New_offsetmap.Int.t -> V.t -> int64 * New_offsetmap.Make.t
val add_node :
int64 ->
int64 ->
int64 ->
New_offsetmap.Int.t ->
V.t -> int64 -> New_offsetmap.Make.t -> int64 * New_offsetmap.Make.t
val is_included_generic_exn :
(V.t -> V.t -> 'a) ->
New_offsetmap.Int.t ->
New_offsetmap.Make.t ->
New_offsetmap.Int.t -> New_offsetmap.Make.t -> unit
val is_included : New_offsetmap.Make.t -> New_offsetmap.Make.t -> bool
val join :
New_offsetmap.Make.t ->
New_offsetmap.Make.t -> int64 * New_offsetmap.Make.t
val find_ival :
conflate_bottom:bool ->
validity:Base.validity ->
with_alarms:CilE.warn_mode ->
Ival.t -> New_offsetmap.Make.t -> Abstract_interp.Int.t -> V.t
val imprecise_find :
New_offsetmap.Int.t ->
New_offsetmap.Int.t -> New_offsetmap.Make.t -> V.t
val update_ival :
int64 ->
int64 ->
exact:bool ->
mn:New_offsetmap.Int.t ->
mx:New_offsetmap.Int.t ->
period:New_offsetmap.Int.t ->
size:New_offsetmap.Int.t ->
New_offsetmap.Make.t -> V.t -> New_offsetmap.Make.t
val copy_ival :
with_alarms:CilE.warn_mode ->
validity:Base.validity ->
Ival.tt -> New_offsetmap.Make.t -> My_bigint.t -> New_offsetmap.Make.t
end