Module Private.IMapSource

mappings from integer to arbitrary types

Sourcetype +'a t
Sourcetype key = int
Sourceval empty : 'a t
Sourceval is_empty : 'a t -> bool
Sourceval add : ?eq:('a -> 'a -> bool) -> int -> 'a -> 'a t -> 'a t
Sourceval add_range : ?eq:('a -> 'a -> bool) -> int -> int -> 'a -> 'a t -> 'a t
Sourceval find : int -> 'a t -> 'a
Sourceval remove : int -> 'a t -> 'a t
Sourceval remove_range : int -> int -> 'a t -> 'a t
Sourceval from : int -> 'a t -> 'a t
Sourceval after : int -> 'a t -> 'a t
Sourceval until : int -> 'a t -> 'a t
Sourceval before : int -> 'a t -> 'a t
Sourceval mem : int -> 'a t -> bool
Sourceval iter : (int -> 'a -> unit) -> 'a t -> unit
Sourceval iter_range : (int -> int -> 'a -> unit) -> 'a t -> unit
Sourceval map : ?eq:('b -> 'b -> bool) -> ('a -> 'b) -> 'a t -> 'b t
Sourceval mapi : ?eq:('b -> 'b -> bool) -> (int -> 'a -> 'b) -> 'a t -> 'b t
Sourceval fold : (int -> 'b -> 'a -> 'a) -> 'b t -> 'a -> 'a
Sourceval fold_range : (int -> int -> 'b -> 'a -> 'a) -> 'b t -> 'a -> 'a
Sourceval set_to_map : (int * int) CamomileLibrary__.AvlTree.tree -> 'a -> 'a t
Sourceval domain : 'a t -> (int * int) CamomileLibrary__.AvlTree.tree
Sourceval map_to_set : ('a -> bool) -> 'a t -> (int * int) CamomileLibrary__.AvlTree.tree