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