CurryInfo: property-prover-2.0.0 / ToolOptions: all operations

defaultOptions optAFCY optConFail optContract optError optExamples optFCY optFailfree optHelp optInferNFCs optName optRec optStoreProof optStrict optTime optTimeout optVerb processOptions