fact: Definition CountingListAsBag_bfind (container: CountingList) (search_terms: TItem -> bool) := List.filter search_terms (ccontents container).
imports: Fiat.QueryStructure.Implementation.DataStructures.Bags.BagsInterface Coq.Arith.Arith Fiat.Common.List.ListFacts