fact: Definition CountingListAsBag_bcount (container: CountingList) (search_terms: TItem -> bool) := List.fold_left (fun acc x => acc + if search_terms x then 1 else 0) (ccontents container) 0.
imports: Fiat.QueryStructure.Implementation.DataStructures.Bags.BagsInterface Coq.Arith.Arith Fiat.Common.List.ListFacts