CCMultiMap (containers-data.CCMultiMap)

type 'a iter = ('a -> unit) -> unit

module type S = sig ... end

module type OrderedType = sig ... end

module Make
  (K : OrderedType)
  (V : OrderedType) : 
  S with type key = K.t and type value = V.t

Represents n-to-n mappings between two types. Each element from the "left" is mapped to several right values, and conversely.

module type BIDIR = sig ... end

module MakeBidir
  (L : OrderedType)
  (R : OrderedType) : 
  BIDIR with type left = L.t and type right = R.t