Definition of some standard names in type-annotated FlatCurry programs.
Author: Michael Hanus
Version: September 2024
isPrimOp
:: (String,String) -> Bool
Is a qualified FlatCurry name primitive? |
preludePrimOps
:: [(String,String)]
Primitive operations of the prelude and their SMT names. |
transPrimTCons
:: [(String,String)]
Primitive type constructors from the prelude and their SMT names. |
transPrimCons
:: [(String,String)]
Some primitive constructors from the prelude and their SMT names. |
Is a qualified FlatCurry name primitive? |
Primitive operations of the prelude and their SMT names.
|
Primitive type constructors from the prelude and their SMT names.
|
Some primitive constructors from the prelude and their SMT names. |