Prog "CompactFlatCurry" ["Directory","Distribution","FileGoodies","FlatCurry","List","Maybe","Prelude","RedBlackTree","SetRBT","Sort","TableRBT","Time","XML"] [Type ("CompactFlatCurry","Option") Public [] [Cons ("CompactFlatCurry","Verbose") 0 Public [],Cons ("CompactFlatCurry","Main") 1 Public [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]],Cons ("CompactFlatCurry","Exports") 0 Public [],Cons ("CompactFlatCurry","InitFuncs") 1 Public [TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]]],Cons ("CompactFlatCurry","Required") 1 Public [TCons ("Prelude","[]") [TCons ("CompactFlatCurry","RequiredSpec") []]],Cons ("CompactFlatCurry","Import") 1 Public [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]],Type ("CompactFlatCurry","RequiredSpec") Public [] []] [Func ("CompactFlatCurry","requires") 2 Public (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("CompactFlatCurry","RequiredSpec") []))) (Rule [] (Var 0)),Func ("CompactFlatCurry","alwaysRequired") 1 Public (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("CompactFlatCurry","RequiredSpec") [])) (Rule [] (Var 0)),Func ("CompactFlatCurry","defaultRequired") 0 Public (TCons ("Prelude","[]") [TCons ("CompactFlatCurry","RequiredSpec") []]) (Rule [] (Var 0)),Func ("CompactFlatCurry","generateCompactFlatCurryFile") 3 Public (FuncType (TCons ("Prelude","[]") [TCons ("CompactFlatCurry","Option") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TCons ("Prelude","IO") [TCons ("Prelude","()") []])))) (Rule [] (Var 0)),Func ("CompactFlatCurry","computeCompactFlatCurry") 2 Public (FuncType (TCons ("Prelude","[]") [TCons ("CompactFlatCurry","Option") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TCons ("Prelude","IO") [TCons ("FlatCurry","Prog") []]))) (Rule [] (Var 0))] [Op ("CompactFlatCurry","requires") InfixOp 0]