functor (V : Lattice_With_Isotropy.S->
  sig
    type t
    val empty : New_offsetmap.Make.t
    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_vv :
      New_offsetmap.Make.t -> New_offsetmap.Int.t * New_offsetmap.Int.t * V.t
    val get_max : New_offsetmap.Make.t -> New_offsetmap.Int.t
    val is_above : int64 -> int64 -> int64 -> int64 -> bool
    type zipper
    exception End_reached
    exception Empty_tree
    val pr_zipper : Format.formatter -> New_offsetmap.Make.zipper -> unit
    val pout_zipper : New_offsetmap.Make.zipper -> unit
    val rezip :
      New_offsetmap.Make.zipper ->
      New_offsetmap.Int.t ->
      New_offsetmap.Make.t -> New_offsetmap.Int.t * New_offsetmap.Make.t
    val leftmost_child :
      New_offsetmap.Int.t ->
      New_offsetmap.Make.zipper ->
      New_offsetmap.Make.t ->
      New_offsetmap.Int.t * New_offsetmap.Make.t * New_offsetmap.Make.zipper
    val rightmost_child :
      New_offsetmap.Int.t ->
      New_offsetmap.Make.zipper ->
      New_offsetmap.Make.t ->
      New_offsetmap.Int.t * New_offsetmap.Make.t * New_offsetmap.Make.zipper
    val move_right :
      New_offsetmap.Int.t ->
      New_offsetmap.Make.t ->
      New_offsetmap.Make.zipper ->
      New_offsetmap.Int.t * New_offsetmap.Make.t * New_offsetmap.Make.zipper
    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
    val to_list :
      New_offsetmap.Make.t ->
      (New_offsetmap.Int.t * int64 * New_offsetmap.Int.t *
       New_offsetmap.Int.t * V.t)
      list
    val to_offsetmap : '-> 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 ->
      New_offsetmap.Int.t ->
      V.t -> New_offsetmap.Make.t -> int64 * New_offsetmap.Make.t
    val check : int64 -> New_offsetmap.Make.t -> unit
    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 change_binding :
      int64 ->
      New_offsetmap.Int.t ->
      New_offsetmap.Int.t ->
      New_offsetmap.Int.t ->
      V.t ->
      New_offsetmap.Make.t -> New_offsetmap.Int.t * New_offsetmap.Make.t
  end