genCurryMod
genInt
getFlatInt
getFlatProg
main
printCurryMod
printInterface
printUsage
writeCurryMod
writeInterface