| Canon | Test.StateMachine.DotDrawing |
| Check | Test.StateMachine.Sequential |
| checkCommandNames | Test.StateMachine.Sequential, Test.StateMachine |
| checkCommandNamesParallel | Test.StateMachine.Parallel, Test.StateMachine |
| CheckEverything | Test.StateMachine.Sequential |
| CheckNothing | Test.StateMachine.Sequential |
| CheckPrecondition | Test.StateMachine.Sequential |
| classify | Test.StateMachine.Labelling |
| cleanup | |
| 1 (Function) | Test.StateMachine.Types |
| 2 (Function) | Test.StateMachine.Lockstep.NAry |
| 3 (Function) | Test.StateMachine.Lockstep.Simple |
| Close | Test.StateMachine.BoxDrawer |
| Cmapx | Test.StateMachine.DotDrawing |
| CmapxNP | Test.StateMachine.DotDrawing |
| Cmd | |
| 1 (Type/Class) | Test.StateMachine.Lockstep.NAry |
| 2 (Type/Class) | Test.StateMachine.Lockstep.Simple |
| cmdName | Test.StateMachine.ConstructorName, Test.StateMachine |
| cmdNames | Test.StateMachine.ConstructorName, Test.StateMachine |
| codomain | Test.StateMachine.Z |
| collects | Test.StateMachine.Utils |
| Command | |
| 1 (Type/Class) | Test.StateMachine.Types |
| 2 (Data Constructor) | Test.StateMachine.Types |
| commandName | Test.StateMachine.ConstructorName |
| CommandNames | Test.StateMachine.ConstructorName, Test.StateMachine |
| commandNames | Test.StateMachine.Sequential, Test.StateMachine |
| commandNamesInOrder | Test.StateMachine.Sequential, Test.StateMachine |
| commandNamesParallel | Test.StateMachine.Parallel, Test.StateMachine |
| Commands | |
| 1 (Type/Class) | Test.StateMachine.Types |
| 2 (Data Constructor) | Test.StateMachine.Types |
| completeHistory | Test.StateMachine.Types.History, Test.StateMachine.Types |
| compose | Test.StateMachine.Z |
| computeReliability | Test.StateMachine.Markov, Test.StateMachine |
| Concrete | |
| 1 (Type/Class) | Test.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine |
| 2 (Data Constructor) | Test.StateMachine.Types.References, Test.StateMachine.Types |
| concrete | Test.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine |
| cons | Test.StateMachine.Z |
| Counter | Test.StateMachine.Types.GenSym, Test.StateMachine.Types |
| Counterexample | Test.StateMachine.Logic, Test.StateMachine |
| coverCommandNames | Test.StateMachine.Sequential, Test.StateMachine |
| coverCommandNamesParallel | Test.StateMachine.Parallel, Test.StateMachine |
| coverMarkov | Test.StateMachine.Markov, Test.StateMachine |
| Crash | Test.StateMachine.Types.History, Test.StateMachine.Types |