Searched defs:elemBag (Results 1 – 6 of 6) sorted by relevance
63 elemBag _ EmptyBag = False function64 elemBag x (UnitBag y) = x == y function65 elemBag x (TwoBags b1 b2) = x `elemBag` b1 || x `elemBag` b2 function66 elemBag x (ListBag ys) = any (x ==) ys function
64 elemBag _ EmptyBag = False function65 elemBag x (UnitBag y) = x == y function66 elemBag x (TwoBags b1 b2) = x `elemBag` b1 || x `elemBag` b2 function67 elemBag x (ListBag ys) = any (x ==) ys function
866 UWord VG_(elemBag) ( const WordBag* bag, UWord w ) in VG_() argument