Agda.Utils.Favorites
data Favorites a
data CompareResult a
compareWithFavorites
compareFavorites
unionCompared
insertCompared
insert
union
fromList
property_null_empty
property_not_null_singleton
prop_compareWithFavorites
prop_fromList_after_toList
prop_union_union2
tests