Index - D
| decrypt | Data.SBV.Examples.Crypto.RC4 |
| defaultSMTCfg | Data.SBV |
| dex | Data.SBV.Examples.BitPrecise.Legato |
| diag | Data.SBV.Examples.Puzzles.MagicSquare |
| diffCount | Data.SBV.Examples.Existentials.CRCPolynomial |
| displayModels | Data.SBV |
| dispSolution | Data.SBV.Examples.Puzzles.Sudoku |
| doRounds | Data.SBV.Examples.Crypto.AES |