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.