Module lib::assert_bag::assert_bag_superbag
source · Expand description
Assert a bag is a superbag of another.
Pseudocode:
(collection1 into bag) ⊃ (collection2 into bag)
§Example
let a = [1, 1, 1];
let b = [1, 1];
assert_bag_superbag!(&a, &b);This implementation uses std::collections::BTreeMap to count items and sort them.