Prog "AbstractCurryPrinter" ["AbstractCurry","Char","FiniteMap","List","Maybe","Prelude","Sort","Read"] [TypeSyn ("AbstractCurryPrinter","NameFM") Private [] (TCons ("FiniteMap","FM") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","()") []]),TypeSyn ("AbstractCurryPrinter","Options") Private [] (TCons ("Prelude","(,)") [TCons ("FiniteMap","FM") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","()") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])] [Func ("AbstractCurryPrinter","showProg") 1 Public (FuncType (TCons ("AbstractCurry","CurryProg") []) (TCons ("Prelude","[]") [TCons ("Prelude","Char") []])) (Rule [] (Var 0)),Func ("AbstractCurryPrinter","showTypeDecls") 1 Public (FuncType (TCons ("Prelude","[]") [TCons ("AbstractCurry","CTypeDecl") []]) (TCons ("Prelude","[]") [TCons ("Prelude","Char") []])) (Rule [] (Var 0)),Func ("AbstractCurryPrinter","showTypeDecl") 1 Public (FuncType (TCons ("AbstractCurry","CTypeDecl") []) (TCons ("Prelude","[]") [TCons ("Prelude","Char") []])) (Rule [] (Var 0)),Func ("AbstractCurryPrinter","showTypeExpr") 2 Public (FuncType (TCons ("Prelude","Bool") []) (FuncType (TCons ("AbstractCurry","CTypeExpr") []) (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]))) (Rule [] (Var 0)),Func ("AbstractCurryPrinter","showFuncDecl") 0 Public (FuncType (TCons ("AbstractCurry","CFuncDecl") []) (TCons ("Prelude","[]") [TCons ("Prelude","Char") []])) (Rule [] (Var 0)),Func ("AbstractCurryPrinter","showExpr") 0 Public (FuncType (TCons ("AbstractCurry","CExpr") []) (TCons ("Prelude","[]") [TCons ("Prelude","Char") []])) (Rule [] (Var 0)),Func ("AbstractCurryPrinter","showPattern") 1 Public (FuncType (TCons ("AbstractCurry","CPattern") []) (TCons ("Prelude","[]") [TCons ("Prelude","Char") []])) (Rule [] (Var 0))] []