Module FlatCurry.Typed.Types

This library contains a version of FlatCurry's abstract syntax tree modified with type information

For more information about the abstract syntax tree of FlatCurry, see the documentation of the respective module.

Author: Kai-Oliver Prott

Version: June 2018

Summary of exported operations:

Exported datatypes:


TProg

Constructors:


TFuncDecl

Constructors:


TRule

Constructors:


TExpr

Constructors:


TBranchExpr

Constructors:


TPattern

Constructors:


Exported operations: