Module Map
: sigendmoduleT:Map.OrderedTypeincludeMap.Svalof_list : (key*'a)list->'atvaldisjoint_union : ?eq:('a->'a->bool)->?print:(Format.formatter->'a->unit)->'at->'at->'atdisjoint_unionm1m2 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
valunion_right : 'at->'at->'atunion_rightm1m2 contains all bindings from m1 and m2 . If some binding is present in both, the one from
m2 is taken
valunion_left : 'at->'at->'atunion_leftm1m2=union_rightm2m1valunion_merge : ('a->'a->'a)->'at->'at->'atvalrename : keyt->key->keyvalmap_keys : (key->key)->'at->'atvalkeys : 'at->Stdlib.Set.Make(T).tvaldata : 'at->'alistvalof_set : (key->'a)->Stdlib.Set.Make(T).t->'atvaltranspose_keys_and_data : keyt->keytvaltranspose_keys_and_data_set : keyt->Stdlib.Set.Make(T).ttvalprint : (Format.formatter->'a->unit)->Format.formatter->'at->unit
OCamldoc 2025-06-12 Identifiable.S.Map(3o)