Index - O
| oneIf | Data.SBV |
| oppositeSignsCorrect | Data.SBV.Examples.BitPrecise.BitTricks |
| optimize | Data.SBV |
| OptimizeOpts | Data.SBV |
| optimizeWith | Data.SBV |
| options | Data.SBV |
| or | Data.SBV.Examples.Uninterpreted.Deduce |
| OrdSymbolic | Data.SBV |
| output | Data.SBV |
sbv-2.3: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.