Package verify
  • All operations
  • All constructors
  • Module Index
  • Base Libraries
  • Curry Packages
  • Curry Homepage
  • About CurryDoc

Index to all operations

C D G I M O P S T U 

C

cvBanner  (ToVerifier)

C D G I M O P S T U 

D

defaultOptions  (VerifyOptions)
defPrimTypes  (VerifyOptions)
detInfos  (VerifyOptions)

C D G I M O P S T U 

G

generateTheorem  (ToVerifier)
generateTheorems  (ToVerifier)
generateTheoremsForModule  (ToVerifier)
getAllFunctions  (ToVerifier)
getAllTypeDecls  (ToVerifier)

C D G I M O P S T U 

I

isPrimFunc  (VerifyOptions)
isUntranslatedFunc  (VerifyOptions)

C D G I M O P S T U 

M

main  (ToVerifier)

C D G I M O P S T U 

O

optHelp  (VerifyOptions)
options  (VerifyOptions)
optScheme  (VerifyOptions)
optStore  (VerifyOptions)
optTarget  (VerifyOptions)
optTheorems  (VerifyOptions)
optVerb  (VerifyOptions)

C D G I M O P S T U 

P

patInfos  (VerifyOptions)
primTypes  (VerifyOptions)

C D G I M O P S T U 

S

sortTypeDecls  (ToVerifier)
standardConstructors  (ToVerifier)

C D G I M O P S T U 

T

theoremToAgda  (ToAgda)

C D G I M O P S T U 

U

usageText  (ToVerifier)

C D G I M O P S T U 


Generated by CurryDoc (Version 3.1.0 of February 14, 2023) at Mar 16 20:48:49 2024