sig
  module PolySet : Sets.PolySetSigStd
  module MonoSet : Sets.MonoSetSigFnStd
  module GenSet : Sets.GenSetSigFnStd
  module AVL_PolySet :
    functor (HeightDiff : sig val v : int end) -> Sets.PolySetSigStd
  module PolySet1 : Sets.PolySetSigStd
  module PolySet2 : Sets.PolySetSigStd
  module PolySet3 : Sets.PolySetSigStd
  module AVL_MonoSet :
    functor (HeightDiff : sig val v : int end) -> Sets.MonoSetSigFnStd
  module MonoSet1 : Sets.MonoSetSigFnStd
  module MonoSet2 : Sets.MonoSetSigFnStd
  module MonoSet3 : Sets.MonoSetSigFnStd
  module AVL_GenSet :
    functor (HeightDiff : sig val v : int end) -> Sets.GenSetSigFnStd
  module GenSet1 : Sets.GenSetSigFnStd
  module GenSet2 : Sets.GenSetSigFnStd
  module GenSet3 : Sets.GenSetSigFnStd
end