Module Map
module Map: sig .. end
Polymorphic map module. Just like the standard Map module, but with the
order of the two type parameters inverted (we think key,value makes a lot
more sense than value,key). There are also a few additional Map
operations in here. If you open Core.Std, this is your Map module.
Polymorphic versions of standard Map operations
include S2
module type Key = Map_intf.Key
module type S = Map_intf.S
module Make:
functor (Key : Key) -> S with type key = Key.tmodule Make_binable:
functor (Key : sigend) -> sig .. end