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) ->
      New_offsetmap.Int.t -> New_offsetmap.Make.t -> '-> 'a
    val fold :
      (New_offsetmap.Int.t ->
       int64 -> New_offsetmap.Int.t -> New_offsetmap.Int.t -> V.t -> '-> 'a) ->
      New_offsetmap.Make.t -> '-> '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.Int.t ->
      New_offsetmap.Make.t ->
      New_offsetmap.Int.t -> New_offsetmap.Make.t -> bool
    val join :
      New_offsetmap.Make.t ->
      New_offsetmap.Make.t -> int64 * New_offsetmap.Make.t
    val find_ival :
      validity:Base.validity ->
      with_alarms:CilE.warn_mode ->
      Ival.t -> New_offsetmap.Make.t -> Abstract_interp.Int.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.Int.t ->
      New_offsetmap.Make.t ->
      V.t -> New_offsetmap.Int.t * New_offsetmap.Make.t
  end