Prog "SetRBT" ["Maybe","Prelude","RedBlackTree"] [TypeSyn ("SetRBT","SetRBT") Public [0] (TCons ("RedBlackTree","RedBlackTree") [TVar 0])] [Func ("SetRBT","emptySetRBT") 0 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (TCons ("RedBlackTree","RedBlackTree") [TVar 0])) (Rule [] (Var 0)),Func ("SetRBT","elemRBT") 1 Public (FuncType (TVar 0) (FuncType (TCons ("RedBlackTree","RedBlackTree") [TVar 0]) (TCons ("Prelude","Bool") []))) (Rule [] (Var 0)),Func ("SetRBT","insertRBT") 0 Public (FuncType (TVar 0) (FuncType (TCons ("RedBlackTree","RedBlackTree") [TVar 0]) (TCons ("RedBlackTree","RedBlackTree") [TVar 0]))) (Rule [] (Var 0)),Func ("SetRBT","insertMultiRBT") 1 Public (FuncType (TVar 0) (FuncType (TCons ("RedBlackTree","RedBlackTree") [TVar 0]) (TCons ("RedBlackTree","RedBlackTree") [TVar 0]))) (Rule [] (Var 0)),Func ("SetRBT","deleteRBT") 0 Public (FuncType (TVar 0) (FuncType (TCons ("RedBlackTree","RedBlackTree") [TVar 0]) (TCons ("RedBlackTree","RedBlackTree") [TVar 0]))) (Rule [] (Var 0)),Func ("SetRBT","setRBT2list") 0 Public (FuncType (TCons ("RedBlackTree","RedBlackTree") [TVar 0]) (TCons ("Prelude","[]") [TVar 0])) (Rule [] (Var 0)),Func ("SetRBT","unionRBT") 2 Public (FuncType (TCons ("RedBlackTree","RedBlackTree") [TVar 0]) (FuncType (TCons ("RedBlackTree","RedBlackTree") [TVar 0]) (TCons ("RedBlackTree","RedBlackTree") [TVar 0]))) (Rule [] (Var 0)),Func ("SetRBT","intersectRBT") 2 Public (FuncType (TCons ("RedBlackTree","RedBlackTree") [TVar 0]) (FuncType (TCons ("RedBlackTree","RedBlackTree") [TVar 0]) (TCons ("RedBlackTree","RedBlackTree") [TVar 0]))) (Rule [] (Var 0)),Func ("SetRBT","sortRBT") 0 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (FuncType (TCons ("Prelude","[]") [TVar 0]) (TCons ("Prelude","[]") [TVar 0]))) (Rule [] (Var 0))] []