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