PAKCS

Module Totalize
Imports
Operations

Curry Homepage
PAKCS Libraries
About CurryDoc

Exported names:

Operations:
totalizeProg

Imported modules:

Prelude
FlatCurry.Goodies
FlatCurry.Types

Module Totalize

Summary of exported operations:

totalizeProg
                  ::  Prog -> Prog

Exported operations:

totalizeProg :: Prog -> Prog

Generated by CurryDoc (Version 2.0.0 of May 2, 2018) at Feb 8 18:34:46 2019