CurryInfo: verify-3.1.0 / VerifyOptions: all operations

defPrimTypes defaultOptions detInfos isPrimFunc isUntranslatedFunc optHelp optScheme optStore optTarget optTheorems optVerb options patInfos primTypes