| CanDiff | Test.StateMachine, Test.StateMachine.Diffing |
| Canon | Test.StateMachine.DotDrawing |
| Check | Test.StateMachine.Sequential |
| checkCommandNames | Test.StateMachine, Test.StateMachine.Sequential |
| checkCommandNamesParallel | Test.StateMachine, Test.StateMachine.Parallel |
| 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 |
| cmd | |
| 1 (Function) | Test.StateMachine.Lockstep.NAry |
| 2 (Function) | Test.StateMachine.Lockstep.Simple |
| cmdName | Test.StateMachine, Test.StateMachine.ConstructorName |
| cmdNames | Test.StateMachine, Test.StateMachine.ConstructorName |
| 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, Test.StateMachine.ConstructorName |
| commandNames | Test.StateMachine, Test.StateMachine.Sequential |
| commandNamesInOrder | Test.StateMachine, Test.StateMachine.Sequential |
| commandNamesParallel | Test.StateMachine, Test.StateMachine.Parallel |
| Commands | |
| 1 (Type/Class) | Test.StateMachine.Types |
| 2 (Data Constructor) | Test.StateMachine.Types |
| completeHistory | Test.StateMachine.Types, Test.StateMachine.Types.History |
| compose | Test.StateMachine.Z |
| Concrete | |
| 1 (Type/Class) | Test.StateMachine, Test.StateMachine.Types, Test.StateMachine.Types.References |
| 2 (Data Constructor) | Test.StateMachine.Types, Test.StateMachine.Types.References |
| concrete | Test.StateMachine, Test.StateMachine.Types, Test.StateMachine.Types.References |
| cons | Test.StateMachine.Z |
| ConstructorName | Test.StateMachine.TreeDiff.Expr, Test.StateMachine.TreeDiff |
| Counter | Test.StateMachine.Types, Test.StateMachine.Types.GenSym |
| Counterexample | Test.StateMachine, Test.StateMachine.Logic |
| coverCommandNames | Test.StateMachine, Test.StateMachine.Sequential |
| coverCommandNamesParallel | Test.StateMachine, Test.StateMachine.Parallel |
| Cpy | Test.StateMachine.TreeDiff.List, Test.StateMachine.TreeDiff.Expr, Test.StateMachine.TreeDiff, Test.StateMachine.TreeDiff.Tree |
| Crash | Test.StateMachine.Types, Test.StateMachine.Types.History |