CurryInfo: contract-prover-4.0.0 / ToolOptions: all operations

defaultOptions optFCY optHelp optName optNoProof optStrict optTAFCY optTimeout optVerb optVerify printWhenAll printWhenIntermediate printWhenStatus processOptions