Agda.Utils.Bag

data Bag a

Query

null

size

(!)

member

notMember

count

Construction

empty

singleton

union

unions

insert

fromList

Destruction

groups

toList

keys

elems

toAscList

Traversal

map

traverse'