fact: Definition ListAsBag_bupdate (container : list TItem) (search_term : TSearchTerm) (update_term : TUpdateTerm) := ((fst (List.partition (bfind_matcher search_term) container)), ((snd (List.partition (bfind_matcher search_term) container)) ++ List.map (bupdate_transform update_term) (fst (List.partition (bfind_matcher search_term) container)))).
imports: Fiat.Common.Coq__8_4__8_5__Compat Fiat.QueryStructure.Implementation.DataStructures.Bags.BagsInterface