newCounter | Test.StateMachine.Types.GenSym, Test.StateMachine.Types |
Not | Test.StateMachine.Logic, Test.StateMachine |
NotC | Test.StateMachine.Logic, Test.StateMachine |
NotElem | Test.StateMachine.Logic, Test.StateMachine |
notElem | Test.StateMachine.Logic, Test.StateMachine |