Agda.Utils.BiMap
data BiMap a b
lookup
invLookup
empty
singleton
insert
union
fromList
toList
prop_BiMap_invariant
tests