STM_domain
Module for building parallel STM tests over Stdlib.Domains
Stdlib
module Make (Spec : STM.Spec) : sig ... end