Module aux

Source

Functionsยง

none
Create an empty container.
singleton
Create a container C from one element.
union_b_tree_maps_with
union_btree_maps_with
Union two BTreeMaps, call f to resolve conflicts if duplicate keys are encountered.