Index - R
| readArray | Data.SBV |
| readBin | Data.SBV |
| RegA | Data.SBV.Examples.BitPrecise.Legato |
| Register | Data.SBV.Examples.BitPrecise.Legato |
| Registers | Data.SBV.Examples.BitPrecise.Legato |
| registers | Data.SBV.Examples.BitPrecise.Legato |
| RegX | Data.SBV.Examples.BitPrecise.Legato |
| resetArray | Data.SBV |
| Result | Data.SBV.Internals |
| rorM | Data.SBV.Examples.BitPrecise.Legato |
| rorR | Data.SBV.Examples.BitPrecise.Legato |
| rotate | Data.SBV |
| rotateL | Data.SBV |
| rotateR | Data.SBV |
| Row | |
| 1 (Type/Class) | Data.SBV.Examples.Puzzles.MagicSquare |
| 2 (Type/Class) | Data.SBV.Examples.Puzzles.Sudoku |
| run | Data.SBV.Examples.Puzzles.U2Bridge |
| runLegato | Data.SBV.Examples.BitPrecise.Legato |
| runSymbolic | Data.SBV.Internals |