Module STM_sequential

Module for building sequential STM tests

module Make (Spec : STM.Spec) : sig ... end