-
Exported names:
-
Imported modules:
Module VerifyOptions
The options of the Curry->Verifier translation tool.
Author: Michael Hanus
Version: April 2021
Summary of exported operations:
defaultOptions
:: Options 
|
isUntranslatedFunc
:: (String,String) -> Bool
|
defPrimTypes
:: [(String,String)]
|
options
:: [OptDescr (Options -> Options)] 
|
Exported datatypes:
Options
Constructors:
-
Options :: Bool -> Int -> Bool -> String -> String -> [QName] -> (QName -> Bool) -> [QName] -> (ProgInfo Deterministic) -> (ProgInfo Completeness) -> OptionsFields:
-
optHelp :: Bool -
optVerb :: Int -
optStore :: Bool -
optTarget :: String -
optScheme :: String -
optTheorems :: [QName] -
isPrimFunc :: (QName -> Bool) -
primTypes :: [QName] -
detInfos :: (ProgInfo Deterministic) -
patInfos :: (ProgInfo Completeness)
-
Exported operations:
|
|
|
|