| Id | |
| 1 (Type/Class) | Test.DejaFu.Types |
| 2 (Data Constructor) | Test.DejaFu.Types |
| IdSource | |
| 1 (Type/Class) | Test.DejaFu.Internal |
| 2 (Data Constructor) | Test.DejaFu.Internal |
| IllegalDontCheck | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| IllegalSubconcurrency | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| incorporateBacktrackSteps | Test.DejaFu.SCT.Internal.DPOR |
| incorporateTrace | Test.DejaFu.SCT.Internal.DPOR |
| IncrementalBoundFunc | Test.DejaFu.SCT.Internal.DPOR |
| independent | Test.DejaFu.SCT.Internal.DPOR |
| initialDepState | Test.DejaFu.SCT.Internal.DPOR |
| initialDPORSchedState | Test.DejaFu.SCT.Internal.DPOR |
| initialDPORThread | Test.DejaFu.SCT.Internal.DPOR |
| initialIdSource | Test.DejaFu.Internal |
| initialise | Test.DejaFu.Refinement, Test.DejaFu |
| initialRandSchedState | Test.DejaFu.SCT.Internal.Weighted |
| initialState | Test.DejaFu.SCT.Internal.DPOR |
| initialThread | Test.DejaFu.Types |
| interfere | Test.DejaFu.Refinement, Test.DejaFu |
| InternalError | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| interruptible | Test.DejaFu.Conc.Internal.Threading |
| isAbort | Test.DejaFu.Types, Test.DejaFu |
| isBarrier | Test.DejaFu.Internal |
| isBlock | Test.DejaFu.Internal |
| isBuffered | Test.DejaFu.SCT.Internal.DPOR |
| isCommit | Test.DejaFu.Internal |
| IsCurrentThreadBound | Test.DejaFu.Types, Test.DejaFu.Conc |
| isDeadlock | Test.DejaFu.Types, Test.DejaFu |
| isFull | Test.DejaFu.SCT.Internal.DPOR |
| isIllegalDontCheck | Test.DejaFu.Types, Test.DejaFu |
| isIllegalSubconcurrency | Test.DejaFu.Types, Test.DejaFu |
| isInternalError | Test.DejaFu.Types, Test.DejaFu |
| isMaskedInterruptible | Test.DejaFu.SCT.Internal.DPOR |
| isMaskedUninterruptible | Test.DejaFu.SCT.Internal.DPOR |
| isUncaughtException | Test.DejaFu.Types, Test.DejaFu |