-- | Small step state transition systems. module Control.State.Transition ( module X ) where import Control.State.Transition.Simple as X