Identifiable.Map(3)              OCaml library             Identifiable.Map(3)

NAME
       Identifiable.Map - no description

Module type
       Module type   Identifiable.Map

Documentation
       Module type Map
        = sig end







       module T : Map.OrderedType




       include Map.S




       val of_list : (key * 'a) list -> 'a t




       val disjoint_union : ?eq:('a -> 'a -> bool) -> ?print:(Format.formatter
       -> 'a -> unit) -> 'a t -> 'a t -> 'a t


       disjoint_union m1 m2 contains all bindings from m1 and m2 . If some
       binding is present in both and the associated value is not equal, a
       Fatal_error is raised



       val union_right : 'a t -> 'a t -> 'a t


       union_right m1 m2 contains all bindings from m1 and m2 . If some
       binding is present in both, the one from m2 is taken



       val union_left : 'a t -> 'a t -> 'a t


       union_left m1 m2 = union_right m2 m1




       val union_merge : ('a -> 'a -> 'a) -> 'a t -> 'a t -> 'a t




       val rename : key t -> key -> key




       val map_keys : (key -> key) -> 'a t -> 'a t




       val keys : 'a t -> Stdlib.Set.Make(T).t




       val data : 'a t -> 'a list




       val of_set : (key -> 'a) -> Stdlib.Set.Make(T).t -> 'a t




       val transpose_keys_and_data : key t -> key t




       val transpose_keys_and_data_set : key t -> Stdlib.Set.Make(T).t t




       val print : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a
       t -> unit




OCamldoc                          2024-02-29               Identifiable.Map(3)