Module FlatCurry.Names

anonCons :: (String,String)   

An "anonymous" constructor is used to represent case expressions with a final "catch all" alternative.

Further infos:

• solution complete, i.e., able to compute all solutions

isPrimOp :: (String,String) -> Bool   

Is a qualified FlatCurry name primitive?

preludePrimOps :: [(String,String)]   

Primitive operations of the prelude and their SMT names.

unaryPrimOps :: [(String,String)]   

Primitive unary operations of the prelude and their SMT names.

Further infos:

• solution complete, i.e., able to compute all solutions

binaryPrimOps :: [(String,String)]   

Primitive binary operations of the prelude and their SMT names.