fact: Definition _bcount container item := List.length (List.filter (fun x => if bfind_matcher item x then true else false) (benumerate container)).
imports: Coq.Arith.Arith Fiat.QueryStructure.Implementation.DataStructures.Bags.BagsInterface Fiat.Common.List.ListFacts Fiat.Common.List.ListMorphisms