| canDCSnapshot | Test.DejaFu.Conc |
| canInterrupt | Test.DejaFu.SCT.Internal.DPOR |
| canInterruptL | Test.DejaFu.SCT.Internal.DPOR |
| CasCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| casCRef | Test.DejaFu.Conc.Internal.Memory |
| Catching | Test.DejaFu.Types, Test.DejaFu.Conc |
| catching | Test.DejaFu.Conc.Internal.Threading |
| cCaps | Test.DejaFu.Conc.Internal |
| check | Test.DejaFu.Refinement, Test.DejaFu |
| check' | Test.DejaFu.Refinement, Test.DejaFu |
| checkFor | Test.DejaFu.Refinement, Test.DejaFu |
| cIdSource | Test.DejaFu.Conc.Internal |
| CommitCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| commitThreadId | Test.DejaFu.Conc.Internal.Memory |
| commitWrite | Test.DejaFu.Conc.Internal.Memory |
| ConcIO | Test.DejaFu.Conc |
| ConcT | Test.DejaFu.Conc |
| Context | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal |
| Continue | Test.DejaFu.Types, Test.DejaFu.Conc |
| CounterExample | Test.DejaFu.Refinement, Test.DejaFu |
| counterExamples | Test.DejaFu.Refinement, Test.DejaFu |
| CRefId | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Conc |
| 2 (Data Constructor) | Test.DejaFu.Types |
| crefId | Test.DejaFu.Conc.Internal.Common |
| crefOf | Test.DejaFu.Internal |
| crefRef | Test.DejaFu.Conc.Internal.Common |
| 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 |