STM_sequential
Module for building sequential STM tests
module Make (Spec : STM.Spec) : sig ... end
module MakeExt (Spec : STM.SpecExt) : sig ... end