| canInterrupt | Test.DejaFu.Types |
| canInterruptL | Test.DejaFu.Types |
| CasIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| casIORef | Test.DejaFu.Conc.Internal.Memory |
| Catching | Test.DejaFu.Types, Test.DejaFu.Conc |
| catching | Test.DejaFu.Conc.Internal.Threading |
| cCaps | Test.DejaFu.Conc.Internal |
| cCState | Test.DejaFu.Conc.Internal |
| check | Test.DejaFu.Refinement, Test.DejaFu |
| check' | Test.DejaFu.Refinement, Test.DejaFu |
| checkFor | Test.DejaFu.Refinement, Test.DejaFu |
| checkInvariant | Test.DejaFu.Conc.Internal |
| checkInvariants | Test.DejaFu.Conc.Internal |
| cIdSource | Test.DejaFu.Conc.Internal |
| cInvariants | Test.DejaFu.Conc.Internal |
| cNewInvariants | Test.DejaFu.Conc.Internal |
| CommitIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| commitThreadId | Test.DejaFu.Conc.Internal.Memory |
| commitWrite | Test.DejaFu.Conc.Internal.Memory |
| ConcIO | Test.DejaFu.Conc, Test.DejaFu |
| concIOState | Test.DejaFu.Types |
| concMaskState | Test.DejaFu.Types |
| concMVState | Test.DejaFu.Types |
| ConcT | Test.DejaFu.Conc, Test.DejaFu |
| ConcurrencyState | |
| 1 (Type/Class) | Test.DejaFu.Types |
| 2 (Data Constructor) | Test.DejaFu.Types |
| Condition | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| Context | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal |
| contextFromSnapshot | Test.DejaFu.Conc.Internal.Program |
| Continue | Test.DejaFu.Types, Test.DejaFu.Conc |
| CounterExample | Test.DejaFu.Refinement, Test.DejaFu |
| counterExamples | Test.DejaFu.Refinement, Test.DejaFu |
| CResult | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal |
| cSchedState | Test.DejaFu.Conc.Internal |
| cThreads | Test.DejaFu.Conc.Internal |
| cWriteBuf | Test.DejaFu.Conc.Internal |