module type Map = sig
.. end
A standard OCaml map signature extended with datatype operations.
include Map.S
module Key: Datatype.S
with type t = key
Datatype for the keys of the map.
module Make:
Build a datatype of the map according to the datatype of values in the
map.