CurryInfo: redblacktree-3.0.0: all modules