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