| Id | Test.DejaFu.Common |
| IdSource | Test.DejaFu.Common |
| IllegalSubconcurrency | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
| incorporateBacktrackSteps | Test.DejaFu.SCT.Internal |
| incorporateTrace | Test.DejaFu.SCT.Internal |
| IncrementalBoundFunc | Test.DejaFu.SCT.Internal |
| initialDepState | Test.DejaFu.SCT.Internal |
| initialDPORSchedState | Test.DejaFu.SCT.Internal |
| initialDPORThread | Test.DejaFu.SCT.Internal |
| initialIdSource | Test.DejaFu.Common |
| initialise | Test.DejaFu.Refinement, Test.DejaFu |
| initialRandSchedState | Test.DejaFu.SCT.Internal |
| initialState | Test.DejaFu.SCT.Internal |
| initialThread | Test.DejaFu.Common |
| interfere | Test.DejaFu.Refinement, Test.DejaFu |
| InternalError | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
| interruptible | Test.DejaFu.Conc.Internal.Threading |
| isAbort | Test.DejaFu.Common, Test.DejaFu |
| isBarrier | Test.DejaFu.Common |
| isBlock | Test.DejaFu.Common |
| isBuffered | Test.DejaFu.SCT.Internal |
| isCommit | Test.DejaFu.Common |
| isDeadlock | Test.DejaFu.Common, Test.DejaFu |
| isIllegalSubconcurrency | Test.DejaFu.Common, Test.DejaFu |
| isInternalError | Test.DejaFu.Common, Test.DejaFu |
| isMaskedInterruptible | Test.DejaFu.SCT.Internal |
| isMaskedUninterruptible | Test.DejaFu.SCT.Internal |
| isSTMSuccess | Test.DejaFu.STM.Internal |
| isUncaughtException | Test.DejaFu.Common, Test.DejaFu |