Functor New_offsetmap.Make


module Make: 
functor (V : Lattice_With_Isotropy.S) -> sig .. end
Parameters:
V : Lattice_With_Isotropy.S

type t 
val empty : 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 : t -> t -> bool
val get_vv : t -> New_offsetmap.Int.t * New_offsetmap.Int.t * V.t
val get_max : 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 -> zipper -> unit
val pout_zipper : zipper -> unit
val rezip : zipper ->
New_offsetmap.Int.t ->
t -> New_offsetmap.Int.t * t
val leftmost_child : New_offsetmap.Int.t ->
zipper ->
t ->
New_offsetmap.Int.t * t * zipper
val rightmost_child : New_offsetmap.Int.t ->
zipper ->
t ->
New_offsetmap.Int.t * t * zipper
val move_right : New_offsetmap.Int.t ->
t ->
zipper ->
New_offsetmap.Int.t * t * 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 -> t -> 'a -> 'a
val fold : (New_offsetmap.Int.t ->
int64 -> New_offsetmap.Int.t -> New_offsetmap.Int.t -> V.t -> 'a -> 'a) ->
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 -> t -> unit
val iter : (New_offsetmap.Int.t ->
int64 -> New_offsetmap.Int.t -> New_offsetmap.Int.t -> V.t -> 'a) ->
t -> unit
val pretty_node : Format.formatter -> int64 -> int64 -> int64 -> int64 -> V.t -> unit
val pretty_offset : int64 -> Format.formatter -> t -> unit
val pretty : Format.formatter -> t -> unit
val pretty_debug_offset : int64 -> Format.formatter -> t -> unit
val pretty_debug : Format.formatter -> t -> unit
val print_offset : int64 -> t -> unit
val fprint : Format.formatter -> t -> unit
val print : t -> unit
val to_list : 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 ->
t -> New_offsetmap.Int.t * t
val make_node : int64 ->
New_offsetmap.Int.t ->
New_offsetmap.Int.t ->
t ->
New_offsetmap.Int.t ->
t ->
New_offsetmap.Int.t ->
New_offsetmap.Int.t -> V.t -> int64 * t
val add_node : int64 ->
int64 ->
int64 ->
New_offsetmap.Int.t ->
New_offsetmap.Int.t ->
V.t -> t -> int64 * t
val check : int64 -> t -> unit
val is_included_generic_exn : (V.t -> V.t -> 'a) ->
New_offsetmap.Int.t ->
t -> New_offsetmap.Int.t -> t -> unit
val is_included : New_offsetmap.Int.t ->
t -> New_offsetmap.Int.t -> t -> bool
val join : t -> t -> int64 * t
val change_binding : int64 ->
New_offsetmap.Int.t ->
New_offsetmap.Int.t ->
New_offsetmap.Int.t ->
V.t -> t -> New_offsetmap.Int.t * t