sig
module Int : sig type t = int64 end
module Make :
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 -> '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
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 : 'a -> 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
end