STM.Internal
Internal helper module to build STM tests.
module Make (Spec : Spec) : sig ... end
Derives a test framework from a state machine specification.