Prog "TableRBT" ["Prelude","RedBlackTree"] [TypeSyn ("TableRBT","TableRBT") Public [0,1] (TCons ("RedBlackTree","RedBlackTree") [TCons ("Prelude","(,)") [TVar 0,TVar 1]])] [Func ("TableRBT","emptyTableRBT") 1 Public (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (TCons ("RedBlackTree","RedBlackTree") [TCons ("Prelude","(,)") [TVar 0,TVar 1]])) (Rule [] (Var 0)),Func ("TableRBT","isEmptyTable") 0 Public (FuncType (TCons ("RedBlackTree","RedBlackTree") [TCons ("Prelude","(,)") [TVar 0,TVar 1]]) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("TableRBT","lookupRBT") 1 Public (FuncType (TVar 0) (FuncType (TCons ("RedBlackTree","RedBlackTree") [TCons ("Prelude","(,)") [TVar 0,TVar 1]]) (TCons ("Prelude","Maybe") [TVar 1]))) (Rule [] (Var 0)),Func ("TableRBT","updateRBT") 2 Public (FuncType (TVar 0) (FuncType (TVar 1) (FuncType (TCons ("RedBlackTree","RedBlackTree") [TCons ("Prelude","(,)") [TVar 0,TVar 1]]) (TCons ("RedBlackTree","RedBlackTree") [TCons ("Prelude","(,)") [TVar 0,TVar 1]])))) (Rule [] (Var 0)),Func ("TableRBT","tableRBT2list") 0 Public (FuncType (TCons ("RedBlackTree","RedBlackTree") [TCons ("Prelude","(,)") [TVar 0,TVar 1]]) (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TVar 0,TVar 1]])) (Rule [] (Var 0)),Func ("TableRBT","deleteRBT") 1 Public (FuncType (TVar 0) (FuncType (TCons ("RedBlackTree","RedBlackTree") [TCons ("Prelude","(,)") [TVar 0,TVar 1]]) (TCons ("RedBlackTree","RedBlackTree") [TCons ("Prelude","(,)") [TVar 0,TVar 1]]))) (Rule [] (Var 0))] []