Prog "FlatCurryGoodies" ["FlatCurry","Prelude"] [TypeSyn ("FlatCurryGoodies","Update") Public [0,1] (FuncType (FuncType (TVar 1) (TVar 1)) (FuncType (TVar 0) (TVar 0)))] [Func ("FlatCurryGoodies","trProg") 2 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeDecl") []]) (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","FuncDecl") []]) (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","OpDecl") []]) (TVar 0)))))) (FuncType (TCons ("FlatCurry","Prog") []) (TVar 0))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","progName") 0 Public (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("Prelude","[]") [TCons ("Prelude","Char") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","progImports") 0 Public (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","progTypes") 0 Public (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeDecl") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","progFuncs") 0 Public (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("Prelude","[]") [TCons ("FlatCurry","FuncDecl") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","progOps") 0 Public (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("Prelude","[]") [TCons ("FlatCurry","OpDecl") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updProg") 5 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TCons ("Prelude","[]") [TCons ("Prelude","Char") []])) (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeDecl") []]) (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeDecl") []])) (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","FuncDecl") []]) (TCons ("Prelude","[]") [TCons ("FlatCurry","FuncDecl") []])) (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","OpDecl") []]) (TCons ("Prelude","[]") [TCons ("FlatCurry","OpDecl") []])) (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("FlatCurry","Prog") []))))))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updProgName") 1 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TCons ("Prelude","[]") [TCons ("Prelude","Char") []])) (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("FlatCurry","Prog") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updProgImports") 1 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","[]") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("FlatCurry","Prog") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updProgTypes") 1 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeDecl") []]) (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeDecl") []])) (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("FlatCurry","Prog") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updProgFuncs") 1 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","FuncDecl") []]) (TCons ("Prelude","[]") [TCons ("FlatCurry","FuncDecl") []])) (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("FlatCurry","Prog") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updProgOps") 0 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","OpDecl") []]) (TCons ("Prelude","[]") [TCons ("FlatCurry","OpDecl") []])) (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("FlatCurry","Prog") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","allVarsInProg") 0 Public (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updProgExps") 0 Public (FuncType (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") [])) (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("FlatCurry","Prog") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","rnmAllVarsInProg") 0 Public (FuncType (FuncType (TCons ("Prelude","Int") []) (TCons ("Prelude","Int") [])) (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("FlatCurry","Prog") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updQNamesInProg") 1 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("FlatCurry","Prog") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","rnmProg") 2 Public (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (FuncType (TCons ("FlatCurry","Prog") []) (TCons ("FlatCurry","Prog") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","trType") 3 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("FlatCurry","Visibility") []) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Int") []]) (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","ConsDecl") []]) (TVar 0))))) (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("FlatCurry","Visibility") []) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Int") []]) (FuncType (TCons ("FlatCurry","TypeExpr") []) (TVar 0))))) (FuncType (TCons ("FlatCurry","TypeDecl") []) (TVar 0)))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","typeName") 0 Public (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","typeVisibility") 0 Public (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("FlatCurry","Visibility") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","typeParams") 0 Public (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","typeConsDecls") 0 Public (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("Prelude","[]") [TCons ("FlatCurry","ConsDecl") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","typeSyn") 0 Public (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("FlatCurry","TypeExpr") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isTypeSyn") 0 Public (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isDataTypeDecl") 0 Public (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isExternalType") 0 Public (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updType") 5 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (FuncType (TCons ("FlatCurry","Visibility") []) (TCons ("FlatCurry","Visibility") [])) (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Int") []]) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","ConsDecl") []]) (TCons ("Prelude","[]") [TCons ("FlatCurry","ConsDecl") []])) (FuncType (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("FlatCurry","TypeExpr") [])) (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("FlatCurry","TypeDecl") []))))))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updTypeName") 1 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("FlatCurry","TypeDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updTypeVisibility") 1 Public (FuncType (FuncType (TCons ("FlatCurry","Visibility") []) (TCons ("FlatCurry","Visibility") [])) (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("FlatCurry","TypeDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updTypeParams") 1 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Int") []]) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("FlatCurry","TypeDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updTypeConsDecls") 1 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","ConsDecl") []]) (TCons ("Prelude","[]") [TCons ("FlatCurry","ConsDecl") []])) (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("FlatCurry","TypeDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updTypeSynonym") 0 Public (FuncType (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("FlatCurry","TypeExpr") [])) (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("FlatCurry","TypeDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updQNamesInType") 1 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (TCons ("FlatCurry","TypeDecl") []) (TCons ("FlatCurry","TypeDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","trCons") 2 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","Int") []) (FuncType (TCons ("FlatCurry","Visibility") []) (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeExpr") []]) (TVar 0))))) (FuncType (TCons ("FlatCurry","ConsDecl") []) (TVar 0))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","consName") 0 Public (FuncType (TCons ("FlatCurry","ConsDecl") []) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","consArity") 0 Public (FuncType (TCons ("FlatCurry","ConsDecl") []) (TCons ("Prelude","Int") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","consVisibility") 0 Public (FuncType (TCons ("FlatCurry","ConsDecl") []) (TCons ("FlatCurry","Visibility") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","consArgs") 0 Public (FuncType (TCons ("FlatCurry","ConsDecl") []) (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeExpr") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updCons") 4 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (FuncType (TCons ("Prelude","Int") []) (TCons ("Prelude","Int") [])) (FuncType (FuncType (TCons ("FlatCurry","Visibility") []) (TCons ("FlatCurry","Visibility") [])) (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeExpr") []]) (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeExpr") []])) (FuncType (TCons ("FlatCurry","ConsDecl") []) (TCons ("FlatCurry","ConsDecl") [])))))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updConsName") 1 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (TCons ("FlatCurry","ConsDecl") []) (TCons ("FlatCurry","ConsDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updConsArity") 1 Public (FuncType (FuncType (TCons ("Prelude","Int") []) (TCons ("Prelude","Int") [])) (FuncType (TCons ("FlatCurry","ConsDecl") []) (TCons ("FlatCurry","ConsDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updConsVisibility") 1 Public (FuncType (FuncType (TCons ("FlatCurry","Visibility") []) (TCons ("FlatCurry","Visibility") [])) (FuncType (TCons ("FlatCurry","ConsDecl") []) (TCons ("FlatCurry","ConsDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updConsArgs") 0 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeExpr") []]) (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeExpr") []])) (FuncType (TCons ("FlatCurry","ConsDecl") []) (TCons ("FlatCurry","ConsDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updQNamesInConsDecl") 1 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (TCons ("FlatCurry","ConsDecl") []) (TCons ("FlatCurry","ConsDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","tVarIndex") 1 Public (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("Prelude","Int") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","domain") 1 Public (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("FlatCurry","TypeExpr") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","range") 1 Public (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("FlatCurry","TypeExpr") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","tConsName") 1 Public (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","tConsArgs") 1 Public (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeExpr") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","trTypeExpr") 4 Public (FuncType (FuncType (TCons ("Prelude","Int") []) (TVar 0)) (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TVar 0]) (TVar 0))) (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TVar 0))) (FuncType (TCons ("FlatCurry","TypeExpr") []) (TVar 0))))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isTVar") 0 Public (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isTCons") 0 Public (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isFuncType") 0 Public (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updTVars") 1 Public (FuncType (FuncType (TCons ("Prelude","Int") []) (TCons ("FlatCurry","TypeExpr") [])) (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("FlatCurry","TypeExpr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updTCons") 1 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeExpr") []]) (TCons ("FlatCurry","TypeExpr") []))) (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("FlatCurry","TypeExpr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updFuncTypes") 0 Public (FuncType (FuncType (TCons ("FlatCurry","TypeExpr") []) (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("FlatCurry","TypeExpr") []))) (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("FlatCurry","TypeExpr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","argTypes") 1 Public (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("Prelude","[]") [TCons ("FlatCurry","TypeExpr") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","resultType") 1 Public (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("FlatCurry","TypeExpr") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","allVarsInTypeExpr") 0 Public (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","rnmAllVarsInTypeExpr") 1 Public (FuncType (FuncType (TCons ("Prelude","Int") []) (TCons ("Prelude","Int") [])) (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("FlatCurry","TypeExpr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updQNamesInTypeExpr") 1 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("FlatCurry","TypeExpr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","trOp") 2 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("FlatCurry","Fixity") []) (FuncType (TCons ("Prelude","Int") []) (TVar 0)))) (FuncType (TCons ("FlatCurry","OpDecl") []) (TVar 0))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","opName") 0 Public (FuncType (TCons ("FlatCurry","OpDecl") []) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","opFixity") 0 Public (FuncType (TCons ("FlatCurry","OpDecl") []) (TCons ("FlatCurry","Fixity") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","opPrecedence") 0 Public (FuncType (TCons ("FlatCurry","OpDecl") []) (TCons ("Prelude","Int") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updOp") 3 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (FuncType (TCons ("FlatCurry","Fixity") []) (TCons ("FlatCurry","Fixity") [])) (FuncType (FuncType (TCons ("Prelude","Int") []) (TCons ("Prelude","Int") [])) (FuncType (TCons ("FlatCurry","OpDecl") []) (TCons ("FlatCurry","OpDecl") []))))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updOpName") 1 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (TCons ("FlatCurry","OpDecl") []) (TCons ("FlatCurry","OpDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updOpFixity") 1 Public (FuncType (FuncType (TCons ("FlatCurry","Fixity") []) (TCons ("FlatCurry","Fixity") [])) (FuncType (TCons ("FlatCurry","OpDecl") []) (TCons ("FlatCurry","OpDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updOpPrecedence") 0 Public (FuncType (FuncType (TCons ("Prelude","Int") []) (TCons ("Prelude","Int") [])) (FuncType (TCons ("FlatCurry","OpDecl") []) (TCons ("FlatCurry","OpDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","trFunc") 2 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","Int") []) (FuncType (TCons ("FlatCurry","Visibility") []) (FuncType (TCons ("FlatCurry","TypeExpr") []) (FuncType (TCons ("FlatCurry","Rule") []) (TVar 0)))))) (FuncType (TCons ("FlatCurry","FuncDecl") []) (TVar 0))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","funcName") 0 Public (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","funcArity") 0 Public (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("Prelude","Int") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","funcVisibility") 0 Public (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","Visibility") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","funcType") 0 Public (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","TypeExpr") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","funcRule") 0 Public (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","Rule") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updFunc") 5 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (FuncType (TCons ("Prelude","Int") []) (TCons ("Prelude","Int") [])) (FuncType (FuncType (TCons ("FlatCurry","Visibility") []) (TCons ("FlatCurry","Visibility") [])) (FuncType (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("FlatCurry","TypeExpr") [])) (FuncType (FuncType (TCons ("FlatCurry","Rule") []) (TCons ("FlatCurry","Rule") [])) (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","FuncDecl") []))))))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updFuncName") 1 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","FuncDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updFuncArity") 1 Public (FuncType (FuncType (TCons ("Prelude","Int") []) (TCons ("Prelude","Int") [])) (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","FuncDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updFuncVisibility") 1 Public (FuncType (FuncType (TCons ("FlatCurry","Visibility") []) (TCons ("FlatCurry","Visibility") [])) (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","FuncDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updFuncType") 1 Public (FuncType (FuncType (TCons ("FlatCurry","TypeExpr") []) (TCons ("FlatCurry","TypeExpr") [])) (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","FuncDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updFuncRule") 0 Public (FuncType (FuncType (TCons ("FlatCurry","Rule") []) (TCons ("FlatCurry","Rule") [])) (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","FuncDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isExternal") 0 Public (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","allVarsInFunc") 0 Public (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","funcArgs") 0 Public (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","funcBody") 0 Public (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","Expr") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","funcRHS") 1 Public (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("Prelude","[]") [TCons ("FlatCurry","Expr") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","rnmAllVarsInFunc") 0 Public (FuncType (FuncType (TCons ("Prelude","Int") []) (TCons ("Prelude","Int") [])) (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","FuncDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updQNamesInFunc") 1 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","FuncDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updFuncArgs") 0 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Int") []]) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","FuncDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updFuncBody") 0 Public (FuncType (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") [])) (FuncType (TCons ("FlatCurry","FuncDecl") []) (TCons ("FlatCurry","FuncDecl") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","trRule") 3 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Int") []]) (FuncType (TCons ("FlatCurry","Expr") []) (TVar 0))) (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TVar 0)) (FuncType (TCons ("FlatCurry","Rule") []) (TVar 0)))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","ruleArgs") 0 Public (FuncType (TCons ("FlatCurry","Rule") []) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","ruleBody") 0 Public (FuncType (TCons ("FlatCurry","Rule") []) (TCons ("FlatCurry","Expr") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","ruleExtDecl") 0 Public (FuncType (TCons ("FlatCurry","Rule") []) (TCons ("Prelude","[]") [TCons ("Prelude","Char") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isRuleExternal") 0 Public (FuncType (TCons ("FlatCurry","Rule") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updRule") 3 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Int") []]) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (FuncType (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") [])) (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TCons ("Prelude","[]") [TCons ("Prelude","Char") []])) (FuncType (TCons ("FlatCurry","Rule") []) (TCons ("FlatCurry","Rule") []))))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updRuleArgs") 1 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Int") []]) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (FuncType (TCons ("FlatCurry","Rule") []) (TCons ("FlatCurry","Rule") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updRuleBody") 1 Public (FuncType (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") [])) (FuncType (TCons ("FlatCurry","Rule") []) (TCons ("FlatCurry","Rule") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updRuleExtDecl") 1 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Char") []]) (TCons ("Prelude","[]") [TCons ("Prelude","Char") []])) (FuncType (TCons ("FlatCurry","Rule") []) (TCons ("FlatCurry","Rule") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","allVarsInRule") 0 Public (FuncType (TCons ("FlatCurry","Rule") []) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","rnmAllVarsInRule") 1 Public (FuncType (FuncType (TCons ("Prelude","Int") []) (TCons ("Prelude","Int") [])) (FuncType (TCons ("FlatCurry","Rule") []) (TCons ("FlatCurry","Rule") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updQNamesInRule") 0 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (TCons ("FlatCurry","Rule") []) (TCons ("FlatCurry","Rule") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","trCombType") 5 Public (FuncType (TVar 0) (FuncType (FuncType (TCons ("Prelude","Int") []) (TVar 0)) (FuncType (TVar 0) (FuncType (FuncType (TCons ("Prelude","Int") []) (TVar 0)) (FuncType (TCons ("FlatCurry","CombType") []) (TVar 0)))))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isCombTypeFuncCall") 0 Public (FuncType (TCons ("FlatCurry","CombType") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isCombTypeFuncPartCall") 0 Public (FuncType (TCons ("FlatCurry","CombType") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isCombTypeConsCall") 0 Public (FuncType (TCons ("FlatCurry","CombType") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isCombTypeConsPartCall") 0 Public (FuncType (TCons ("FlatCurry","CombType") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","missingArgs") 0 Public (FuncType (TCons ("FlatCurry","CombType") []) (TCons ("Prelude","Int") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","varNr") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Int") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","literal") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Literal") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","combType") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","CombType") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","combName") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","combArgs") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","[]") [TCons ("FlatCurry","Expr") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","missingCombArgs") 0 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Int") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","letBinds") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","Int") [],TCons ("FlatCurry","Expr") []]])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","letBody") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","freeVars") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","freeExpr") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","orExps") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","[]") [TCons ("FlatCurry","Expr") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","caseType") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","CaseType") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","caseExpr") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","caseBranches") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","[]") [TCons ("FlatCurry","BranchExpr") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isVar") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isLit") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isComb") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isLet") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isFree") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isOr") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isCase") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","trExpr") 9 Public (FuncType (FuncType (TCons ("Prelude","Int") []) (TVar 0)) (FuncType (FuncType (TCons ("FlatCurry","Literal") []) (TVar 0)) (FuncType (FuncType (TCons ("FlatCurry","CombType") []) (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TVar 0]) (TVar 0)))) (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","Int") [],TVar 0]]) (FuncType (TVar 0) (TVar 0))) (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Int") []]) (FuncType (TVar 0) (TVar 0))) (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TVar 0))) (FuncType (FuncType (TCons ("FlatCurry","CaseType") []) (FuncType (TVar 0) (FuncType (TCons ("Prelude","[]") [TVar 1]) (TVar 0)))) (FuncType (FuncType (TCons ("FlatCurry","Pattern") []) (FuncType (TVar 0) (TVar 1))) (FuncType (TCons ("FlatCurry","Expr") []) (TVar 0)))))))))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updVars") 1 Public (FuncType (FuncType (TCons ("Prelude","Int") []) (TCons ("FlatCurry","Expr") [])) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updLiterals") 1 Public (FuncType (FuncType (TCons ("FlatCurry","Literal") []) (TCons ("FlatCurry","Expr") [])) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updCombs") 1 Public (FuncType (FuncType (TCons ("FlatCurry","CombType") []) (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","Expr") []]) (TCons ("FlatCurry","Expr") [])))) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updLets") 1 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","(,)") [TCons ("Prelude","Int") [],TCons ("FlatCurry","Expr") []]]) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") []))) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updFrees") 1 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Int") []]) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") []))) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updOrs") 1 Public (FuncType (FuncType (TCons ("FlatCurry","Expr") []) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") []))) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updCases") 1 Public (FuncType (FuncType (TCons ("FlatCurry","CaseType") []) (FuncType (TCons ("FlatCurry","Expr") []) (FuncType (TCons ("Prelude","[]") [TCons ("FlatCurry","BranchExpr") []]) (TCons ("FlatCurry","Expr") [])))) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updBranches") 1 Public (FuncType (FuncType (TCons ("FlatCurry","Pattern") []) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","BranchExpr") []))) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isFuncCall") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isFuncPartCall") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isConsCall") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isConsPartCall") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isGround") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","allVars") 1 Public (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","rnmAllVars") 1 Public (FuncType (FuncType (TCons ("Prelude","Int") []) (TCons ("Prelude","Int") [])) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updQNames") 1 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","trBranch") 2 Public (FuncType (FuncType (TCons ("FlatCurry","Pattern") []) (FuncType (TCons ("FlatCurry","Expr") []) (TVar 0))) (FuncType (TCons ("FlatCurry","BranchExpr") []) (TVar 0))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","branchPattern") 0 Public (FuncType (TCons ("FlatCurry","BranchExpr") []) (TCons ("FlatCurry","Pattern") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","branchExpr") 0 Public (FuncType (TCons ("FlatCurry","BranchExpr") []) (TCons ("FlatCurry","Expr") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updBranch") 2 Public (FuncType (FuncType (TCons ("FlatCurry","Pattern") []) (TCons ("FlatCurry","Pattern") [])) (FuncType (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") [])) (FuncType (TCons ("FlatCurry","BranchExpr") []) (TCons ("FlatCurry","BranchExpr") [])))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updBranchPattern") 1 Public (FuncType (FuncType (TCons ("FlatCurry","Pattern") []) (TCons ("FlatCurry","Pattern") [])) (FuncType (TCons ("FlatCurry","BranchExpr") []) (TCons ("FlatCurry","BranchExpr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updBranchExpr") 0 Public (FuncType (FuncType (TCons ("FlatCurry","Expr") []) (TCons ("FlatCurry","Expr") [])) (FuncType (TCons ("FlatCurry","BranchExpr") []) (TCons ("FlatCurry","BranchExpr") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","trPattern") 3 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Int") []]) (TVar 0))) (FuncType (FuncType (TCons ("FlatCurry","Literal") []) (TVar 0)) (FuncType (TCons ("FlatCurry","Pattern") []) (TVar 0)))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","patCons") 0 Public (FuncType (TCons ("FlatCurry","Pattern") []) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","patArgs") 0 Public (FuncType (TCons ("FlatCurry","Pattern") []) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","patLiteral") 0 Public (FuncType (TCons ("FlatCurry","Pattern") []) (TCons ("FlatCurry","Literal") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","isConsPattern") 0 Public (FuncType (TCons ("FlatCurry","Pattern") []) (TCons ("Prelude","Bool") [])) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updPattern") 3 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Int") []]) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (FuncType (FuncType (TCons ("FlatCurry","Literal") []) (TCons ("FlatCurry","Literal") [])) (FuncType (TCons ("FlatCurry","Pattern") []) (TCons ("FlatCurry","Pattern") []))))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updPatCons") 1 Public (FuncType (FuncType (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]]) (TCons ("Prelude","(,)") [TCons ("Prelude","[]") [TCons ("Prelude","Char") []],TCons ("Prelude","[]") [TCons ("Prelude","Char") []]])) (FuncType (TCons ("FlatCurry","Pattern") []) (TCons ("FlatCurry","Pattern") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updPatArgs") 1 Public (FuncType (FuncType (TCons ("Prelude","[]") [TCons ("Prelude","Int") []]) (TCons ("Prelude","[]") [TCons ("Prelude","Int") []])) (FuncType (TCons ("FlatCurry","Pattern") []) (TCons ("FlatCurry","Pattern") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","updPatLiteral") 1 Public (FuncType (FuncType (TCons ("FlatCurry","Literal") []) (TCons ("FlatCurry","Literal") [])) (FuncType (TCons ("FlatCurry","Pattern") []) (TCons ("FlatCurry","Pattern") []))) (Rule [] (Var 0)),Func ("FlatCurryGoodies","patExpr") 0 Public (FuncType (TCons ("FlatCurry","Pattern") []) (TCons ("FlatCurry","Expr") [])) (Rule [] (Var 0))] []