Module VerifyOptions

The options of the Curry->Verifier translation tool.

Author: Michael Hanus

Version: April 2021

Summary of exported operations:

defaultOptions :: Options  Deterministic 
isUntranslatedFunc :: (String,String) -> Bool  Deterministic 
defPrimTypes :: [(String,String)]  Deterministic 
options :: [OptDescr (Options -> Options)]  Non-deterministic 

Exported datatypes:


Options

Constructors:


Exported operations:

isUntranslatedFunc :: (String,String) -> Bool  Deterministic 

defPrimTypes :: [(String,String)]  Deterministic 

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

options :: [OptDescr (Options -> Options)]  Non-deterministic