Module aux

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.