7 lines
172 B
Plaintext
7 lines
172 B
Plaintext
(library
|
|
(name RedBlackTrees)
|
|
(public_name RedBlackTrees)
|
|
(wrapped false)
|
|
(modules PolyMap PolySet RedBlack RedBlackTrees) ; PolyMapMain PolySetMain RedBlackMain
|
|
)
|