Test.StateMachine.Logic

data Logic

data Predicate

dual

strongNeg

data Counterexample

data Value

logic

predicate