-- A finite map implementation, derived from the paper:
-- S Adams, "Efficient sets: a balancing act"
-- Journal of functional programming 3(4) Oct 1993, pp553-562
-- A finite map implementation, derived from the paper:
-- S Adams, "Efficient sets: a balancing act"
-- Journal of functional programming 3(4) Oct 1993, pp553-562