Definition of data types ocurring in type-annotated FlatCurry programs.
Author: Michael Hanus
Version: April 2019
Type synonym: TAProg = AProg TypeExpr
Type synonym: TAFuncDecl = AFuncDecl TypeExpr
Type synonym: TARule = ARule TypeExpr
Type synonym: TAExpr = AExpr TypeExpr
Type synonym: TABranchExpr = ABranchExpr TypeExpr
Type synonym: TAPattern = APattern TypeExpr