CurryInfo: failfree-4.0.0 / ToolOptions: all operations

defaultOptions optContract optError optHelp optName optRec optStrict optTime optVerb printWhenAll printWhenIntermediate printWhenStatus processOptions whenStatus