fact: Definition ProdBag_bfind_matcher (searchterm : ProdSearchTerm) (item: TItem) := match Prod_st_choice with | ProdChoiceA => bfind_matcher Prod_st_A item | ProdChoiceB => bfind_matcher Prod_st_B item end.
imports: Fiat.QueryStructure.Implementation.DataStructures.Bags.BagsInterface Fiat.QueryStructure.Implementation.DataStructures.Bags.BagsProperties