sig
  module PolySet : Sets.PolySetSigStd
  module MonoSet : Sets.MonoSetSigFnStd
  module GenSet : Sets.GenSetSigFnStd
end