sig
  module PolyMap : Maps.PolyMapSig
  module MonoKeyMap : Maps.MonoKeyMapSigFnStd
  module GenKeyMap : Maps.GenKeyMapSigFnStd
  module MonoMap : Maps.MonoMapSigFnStd
  module GenMap : Maps.GenMapSigFnStd
end