Language.Haskell.Liquid.Bag
type Bag a = Map a Int Source #
empty :: Bag k Source #
bagSize :: Bag k -> Int Source #
fromList :: Ord k => [k] -> Bag k Source #
get :: Ord k => k -> Bag k -> Int Source #
put :: Ord k => k -> Bag k -> Bag k Source #
union :: Ord k => Bag k -> Bag k -> Bag k Source #
thm_emp :: Ord k => k -> Bag k -> () Source #
thm_size :: Ord k => [k] -> () Source #