Index - O
| Objective | Data.SBV.Internals, Data.SBV |
| oneIf | Data.SBV |
| Op | Data.SBV.Internals |
| oppositeSignsCorrect | Data.SBV.Examples.BitPrecise.BitTricks |
| 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 | Data.SBV.Examples.Uninterpreted.Deduce |
| OrdSymbolic | Data.SBV |
| output | Data.SBV.Internals, Data.SBV |
| outputSVal | Data.SBV.Dynamic |
| Outputtable | Data.SBV.Internals |
| outside | Data.SBV.Examples.Misc.ModelExtract |