STM_thread
Module for building concurrent STM tests over Threads
Thread
module Make (Spec : STM.Spec) : sig ... end