(library
  (name RedBlackTrees)
  (public_name RedBlackTrees)
  (wrapped false)
  (modules PolyMap PolySet RedBlack RedBlackTrees) ; PolyMapMain PolySetMain RedBlackMain
)