Prog "Meta" ["Prelude"] [Type ("Meta","RichSearchTree") Public [0] [Cons ("Meta","RichFail") 1 Public [TCons ("Meta","Exception") []],Cons ("Meta","RichValue") 1 Public [TVar 0],Cons ("Meta","RichChoice") 2 Public [TCons ("Meta","OrRef") [],TCons ("Prelude","[]") [TCons ("Meta","RichSearchTree") [TVar 0]]],Cons ("Meta","RichSuspend") 0 Public []],Type ("Meta","Exception") Public [] [Cons ("Meta","ErrorCall") 1 Public [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]],Cons ("Meta","PatternMatchFail") 1 Public [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]],Cons ("Meta","AssertionFailed") 1 Public [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]],Cons ("Meta","IOException") 1 Public [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]],Cons ("Meta","PreludeFailed") 0 Public []],Type ("Meta","OrRef") Public [] []] [Func ("Meta","isFree") 1 Public (FuncType (TVar 0) (TCons ("Prelude","IO") [TCons ("Prelude","Either") [TVar 0,TVar 0]])) (Rule [] (Var 0)),Func ("Meta","headNormalFormIO") 2 Public (FuncType (FuncType (TVar 0) (TCons ("Prelude","IO") [TVar 1])) (FuncType (TVar 0) (TCons ("Prelude","IO") [TVar 1]))) (External "Meta.headNormalFormIO"),Func ("Meta","searchTree") 1 Public (FuncType (TVar 0) (TCons ("Prelude","SearchTree") [TVar 0])) (External "Meta.searchTree"),Func ("Meta","gnfIO") 1 Public (FuncType (TVar 0) (TCons ("Prelude","IO") [TVar 0])) (External "Meta.gnfIO"),Func ("Meta","ghnfIO") 1 Public (FuncType (TVar 0) (TCons ("Prelude","IO") [TVar 0])) (External "Meta.ghnfIO"),Func ("Meta","nfIO") 1 Public (FuncType (TVar 0) (TCons ("Prelude","IO") [TVar 0])) (External "Meta.nfIO"),Func ("Meta","hnfIO") 1 Public (FuncType (TVar 0) (TCons ("Prelude","IO") [TVar 0])) (External "Meta.hnfIO"),Func ("Meta","getRichSearchTree") 1 Public (FuncType (TVar 0) (TCons ("Prelude","IO") [TCons ("Meta","RichSearchTree") [TVar 0]])) (External "Meta.getRichSearchTree"),Func ("Meta","richSearchTree") 1 Public (FuncType (TVar 0) (TCons ("Meta","RichSearchTree") [TVar 0])) (External "Meta.richSearchTree"),Func ("Meta","parallelSearch") 1 Public (FuncType (TVar 0) (TCons ("Prelude","IO") [TCons ("Prelude","[]") [TVar 0]])) (External "Meta.parallelSearch"),Func ("Meta","cover") 1 Public (FuncType (TVar 0) (TVar 0)) (External "Meta.cover"),Func ("Meta","st") 1 Public (FuncType (TVar 0) (TCons ("Prelude","SearchTree") [TVar 0])) (External "Meta.st"),Func ("Meta","richST") 1 Public (FuncType (TVar 0) (TCons ("Meta","RichSearchTree") [TVar 0])) (External "Meta.richST"),Func ("Meta","ors") 1 Public (FuncType (TCons ("Prelude","[]") [TVar 0]) (TVar 0)) (External "Meta.ors"),Func ("Meta","throw") 1 Public (FuncType (TCons ("Meta","Exception") []) (TVar 0)) (Rule [] (Var 0)),Func ("Meta","allValuesI") 0 Public (FuncType (TCons ("Prelude","SearchTree") [TVar 0]) (TCons ("Prelude","[]") [TVar 0])) (Rule [] (Var 0))] []