Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
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