Agda.Utils.BiMap

data BiMap a b

lookup

invLookup

empty

singleton

insert

union

fromList

toList