Module type Datatype.Map

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: functor (Data : Datatype.S) -> Datatype.S  with type t = Data.t t

Build a datatype of the map according to the datatype of values in the map.