Module Binsec_base.ZmapSource

Sourcetype ('a, _) node = private
  1. | Empty : ('a, [< `Empty | `Item_or_empty | `Any ]) node
  2. | Item : {
    1. lo : Z.t;
    2. hi : Z.t;
    3. elt : 'a;
    } -> ('a, [< `Non_empty | `Item | `Item_or_empty | `Any ]) node
  3. | Node : {
    1. lo : Z.t;
    2. hi : Z.t;
    3. mask : Z.t;
    4. zero : 'a tree;
    5. one : 'a tree;
    } -> ('a, [< `Non_empty | `Node | `Any ]) node
Sourceand 'a tree = ('a, [ `Non_empty ]) node
Sourceand 'a t = ('a, [ `Any ]) node
Sourceand 'a item = ('a, [ `Item ]) node
Sourceand 'a item_opt = ('a, [ `Item_or_empty ]) node
Sourceval empty : 'a t
Sourceval is_empty : 'a t -> bool
Sourceval is_empty_between : Z.t -> Z.t -> 'a t -> bool
Sourceval disjoint : 'a t -> 'b t -> bool
Sourceval singleton : lo:Z.t -> hi:Z.t -> 'a -> 'a t
Sourceval union_eq : ?stich:('a item -> 'a item -> 'a option) -> ('a item -> 'a item -> 'a) -> 'a t -> 'a t -> 'a t
Sourceval union_left : ?stich:('a item -> 'a item -> 'a option) -> ?crop:(lo:Z.t -> hi:Z.t -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
Sourceval union_update : ?stich:('a item -> 'a item -> 'a option) -> ('a item -> 'a item -> 'a t) -> 'a t -> 'a t -> 'a t
Sourceval find : Z.t -> 'a t -> 'a item
Sourceval find_opt : Z.t -> 'a t -> 'a item_opt
Sourceval none : 'a item_opt
Sourceval mem : Z.t -> 'a t -> bool
Sourceval iter : ('a item -> unit) -> 'a t -> unit
Sourceval rev_iter : ('a item -> unit) -> 'a t -> unit
Sourceval fold : ('a item -> 'b -> 'b) -> 'b -> 'a t -> 'b
Sourceval rev_fold : ('a item -> 'b -> 'b) -> 'b -> 'a t -> 'b
Sourceval map : ('a item -> 'b) -> 'a t -> 'b t
Sourceval choose : 'a t -> 'a item
Sourceval bindings : 'a t -> 'a item list
Sourceval substract : ?crop:(lo:Z.t -> hi:Z.t -> 'a -> 'a) -> 'a t -> 'b t -> 'a t
Sourceval fold_inter : ('a item -> 'b item -> 'c -> 'c) -> 'c -> 'a t -> 'b t -> 'c