| Pair | |
| 1 (Type/Class) | Test.StateMachine.Types |
| 2 (Data Constructor) | Test.StateMachine.Types |
| ParallelCommands | |
| 1 (Type/Class) | Test.StateMachine.Types |
| 2 (Data Constructor) | Test.StateMachine.Types |
| ParallelCommandsF | Test.StateMachine.Types |
| Pid | |
| 1 (Type/Class) | Test.StateMachine.Types.History, Test.StateMachine.Types |
| 2 (Data Constructor) | Test.StateMachine.Types.History, Test.StateMachine.Types |
| postcondition | Test.StateMachine.Types |
| PostconditionFailed | Test.StateMachine.Types, Test.StateMachine |
| precondition | Test.StateMachine.Types |
| PreconditionFailed | Test.StateMachine.Types, Test.StateMachine |
| Predicate | |
| 1 (Type/Class) | Test.StateMachine.Logic, Test.StateMachine |
| 2 (Data Constructor) | Test.StateMachine.Logic, Test.StateMachine |
| predicate | Test.StateMachine.Logic, Test.StateMachine |
| PredicateC | Test.StateMachine.Logic, Test.StateMachine |
| prefix | Test.StateMachine.Types |
| prettyCommands | Test.StateMachine.Sequential, Test.StateMachine |
| prettyParallelCommands | Test.StateMachine.Parallel, Test.StateMachine |
| prettyPrintHistory | Test.StateMachine.Sequential |
| proj1 | Test.StateMachine.Types |
| proj2 | Test.StateMachine.Types |
| prop_splitCombine | Test.StateMachine.Parallel |