map -package:Cabal -package:base -package:text -package:pipes -package:case-insensitive -package:aeson -package:conduit is:module -package:rio -package:synthesizer-dimensional -package:wai-session -package:convertible package:Agda
Partly invertible finite maps.
Time complexities are given under the assumption that all relevant
instance functions, as well as arguments of function type, take
constant time, and "n" is the number of keys involved in the
operation.
Maps containing non-overlapping intervals.