G'day all.
Quoting Wolfgang Jeltsch <wolfgang at jeltsch.net>:
> is there some documentation about the complexity of the FiniteMap and Set
> operations?
More information than you could ever want is here:
http://www.swiss.ai.mit.edu/users/adams/BB/
Cheers,
Andrew Bromage