Index - O
| Objective | Data.SBV.Internals, Data.SBV |
| observe | Data.SBV |
| octal | Data.SBV.RegExp |
| octDigit | Data.SBV.RegExp |
| offsetIndexOf | Data.SBV.String |
| oneIf | Data.SBV |
| oneOf | Data.SBV.RegExp |
| Op | Data.SBV.Internals |
| oppositeSignsCorrect | Documentation.SBV.Examples.BitPrecise.BitTricks |
| Opt | Data.SBV.RegExp, Data.SBV.Internals |
| optimize | Data.SBV |
| OptimizeResult | Data.SBV, Data.SBV.Dynamic |
| OptimizeStyle | Data.SBV.Internals, Data.SBV |
| optimizeWith | Data.SBV |
| OptionKeyword | Data.SBV.Control |
| options | Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| Or | Data.SBV.Internals |
| or | Documentation.SBV.Examples.Uninterpreted.Deduce |
| ord | Data.SBV.Char |
| OrdSymbolic | Data.SBV |
| output | Data.SBV.Internals, Data.SBV |
| outputSVal | Data.SBV.Dynamic |
| Outputtable | Data.SBV.Internals |
| outside | Documentation.SBV.Examples.Misc.ModelExtract |