Agda.Utils.BiMap

data BiMap a b

lookup

invLookup

empty

singleton

insert

union

fromList

toList

Instances

Properties

prop_BiMap_invariant

All tests

tests