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 October 14, 2020) at Nov 12 18:35:29 2023