Module Make.RLSource

Sourcetype key = R.t
Sourcetype 'a t
Sourceval empty : 'a t
Sourceval is_empty : 'a t -> bool
Sourceval mem : key -> 'a t -> bool
Sourceval add : key -> 'a -> 'a t -> 'a t
Sourceval singleton : key -> 'a -> 'a t
Sourceval remove : key -> 'a t -> 'a t
Sourceval remove_min_binding : 'a t -> 'a t
Sourceval merge : (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
Sourceval compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
Sourceval equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval iter : (key -> 'a -> unit) -> 'a t -> unit
Sourceval fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
Sourceval for_all : (key -> 'a -> bool) -> 'a t -> bool
Sourceval exists : (key -> 'a -> bool) -> 'a t -> bool
Sourceval filter : (key -> 'a -> bool) -> 'a t -> 'a t
Sourceval partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
Sourceval cardinal : 'a t -> int
Sourceval bindings : 'a t -> (key * 'a) list
Sourceval min_binding : 'a t -> key * 'a
Sourceval max_binding : 'a t -> key * 'a
Sourceval choose : 'a t -> key * 'a
Sourceval split : key -> 'a t -> 'a t * 'a option * 'a t
Sourceval find : key -> 'a t -> 'a
Sourceval find_opt : key -> 'a t -> 'a option
Sourceval map : ('a -> 'b) -> 'a t -> 'b t
Sourceval mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
Sourceval is_singleton : 'a t -> bool
Sourceval of_list : (key * 'a) list -> 'a t
Sourceval map2 : (key -> 'a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
Sourceval iter2 : (key -> 'a -> 'b -> unit) -> 'a t -> 'b t -> unit
Sourceval fold2 : (key -> 'a -> 'b -> 'c -> 'c) -> 'a t -> 'b t -> 'c -> 'c
Sourceval for_all2 : (key -> 'a -> 'b -> bool) -> 'a t -> 'b t -> bool
Sourceval exists2 : (key -> 'a -> 'b -> bool) -> 'a t -> 'b t -> bool
Sourceval map2z : (key -> 'a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
Sourceval iter2z : (key -> 'a -> 'a -> unit) -> 'a t -> 'a t -> unit
Sourceval fold2z : (key -> 'a -> 'a -> 'b -> 'b) -> 'a t -> 'a t -> 'b -> 'b
Sourceval for_all2z : (key -> 'a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval exists2z : (key -> 'a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval map2o : (key -> 'a -> 'c) -> (key -> 'b -> 'c) -> (key -> 'a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
Sourceval iter2o : (key -> 'a -> unit) -> (key -> 'b -> unit) -> (key -> 'a -> 'b -> unit) -> 'a t -> 'b t -> unit
Sourceval fold2o : (key -> 'a -> 'c -> 'c) -> (key -> 'b -> 'c -> 'c) -> (key -> 'a -> 'b -> 'c -> 'c) -> 'a t -> 'b t -> 'c -> 'c
Sourceval for_all2o : (key -> 'a -> bool) -> (key -> 'b -> bool) -> (key -> 'a -> 'b -> bool) -> 'a t -> 'b t -> bool
Sourceval exists2o : (key -> 'a -> bool) -> (key -> 'b -> bool) -> (key -> 'a -> 'b -> bool) -> 'a t -> 'b t -> bool
Sourceval map2zo : (key -> 'a -> 'a) -> (key -> 'a -> 'a) -> (key -> 'a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t
Sourceval iter2zo : (key -> 'a -> unit) -> (key -> 'a -> unit) -> (key -> 'a -> 'a -> unit) -> 'a t -> 'a t -> unit
Sourceval fold2zo : (key -> 'a -> 'b -> 'b) -> (key -> 'a -> 'b -> 'b) -> (key -> 'a -> 'a -> 'b -> 'b) -> 'a t -> 'a t -> 'b -> 'b
Sourceval for_all2zo : (key -> 'a -> bool) -> (key -> 'a -> bool) -> (key -> 'a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval exists2zo : (key -> 'a -> bool) -> (key -> 'a -> bool) -> (key -> 'a -> 'a -> bool) -> 'a t -> 'a t -> bool
Sourceval map_slice : (key -> 'a -> 'a) -> 'a t -> key -> key -> 'a t
Sourceval iter_slice : (key -> 'a -> unit) -> 'a t -> key -> key -> unit
Sourceval fold_slice : (key -> 'a -> 'b -> 'b) -> 'a t -> key -> key -> 'b -> 'b
Sourceval for_all_slice : (key -> 'a -> bool) -> 'a t -> key -> key -> bool
Sourceval exists_slice : (key -> 'a -> bool) -> 'a t -> key -> key -> bool
Sourceval key_equal : 'a t -> 'a t -> bool
Sourceval key_subset : 'a t -> 'a t -> bool
Sourceval find_greater : key -> 'a t -> key * 'a
Sourceval find_less : key -> 'a t -> key * 'a
Sourceval find_greater_equal : key -> 'a t -> key * 'a
Sourceval find_less_equal : key -> 'a t -> key * 'a
Sourceval to_string : Containers__MapExtSig.map_printer -> (key -> string) -> ('a -> string) -> 'a t -> string
Sourceval print : Containers__MapExtSig.map_printer -> (Stdlib.out_channel -> key -> unit) -> (Stdlib.out_channel -> 'a -> unit) -> Stdlib.out_channel -> 'a t -> unit
Sourceval fprint : Containers__MapExtSig.map_printer -> (Stdlib.Format.formatter -> key -> unit) -> (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a t -> unit
Sourceval bprint : Containers__MapExtSig.map_printer -> (Stdlib.Buffer.t -> key -> unit) -> (Stdlib.Buffer.t -> 'a -> unit) -> Stdlib.Buffer.t -> 'a t -> unit
Sourceval to_poly_map : 'a t -> (key, 'a) MapExtPoly.t