fact: Definition CountingListMap (container: CountingList) (update_f : TItem -> TItem) : CountingList := {| clength := clength container; ccontents := List.map update_f (ccontents container) |}.
imports: Fiat.QueryStructure.Implementation.DataStructures.Bags.BagsInterface Coq.Arith.Arith Fiat.Common.List.ListFacts