sig
  module Int :
    sig
      type t = int64
      val equal : New_offsetmap.Int.t -> New_offsetmap.Int.t -> bool
    end
  module Make :
    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.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
end