Module FlatCurry.Typed.Conversion
Category
meta
Author
Kai-Oliver Prott
Version
June 2018
This module can convert TypedFlatCurry to AnnotatedFlatCurry with type annotations.
Exported Functions:
Exported Functions
toAnnotatedFlatCurry
:: TProg -> AProg TypeExpr 
Converts a TypedFlatCurry programm into AnnotatedFlatCurry with type-annotations